chiark / gitweb /
appendix-a6.git
10 years agoremove self-edges from tdefeats which makes it prettier and makes no difference
Ian Jackson [Sun, 2 Feb 2014 22:43:51 +0000 (22:43 +0000)]
remove self-edges from tdefeats which makes it prettier and makes no difference

10 years agoprint # devotee-tally-begin and devotee-tally-end
Ian Jackson [Sun, 2 Feb 2014 22:43:25 +0000 (22:43 +0000)]
print # devotee-tally-begin and devotee-tally-end

10 years agoallow numbered options
Ian Jackson [Sun, 2 Feb 2014 22:43:07 +0000 (22:43 +0000)]
allow numbered options

10 years agobetter msgs
Ian Jackson [Sun, 2 Feb 2014 22:25:53 +0000 (22:25 +0000)]
better msgs

10 years agobetter msgs and default handling
Ian Jackson [Sun, 2 Feb 2014 22:23:25 +0000 (22:23 +0000)]
better msgs and default handling

10 years agorename
Ian Jackson [Sun, 2 Feb 2014 22:10:06 +0000 (22:10 +0000)]
rename

10 years agoremove obsolete dvt-simpletally
Ian Jackson [Sun, 2 Feb 2014 22:09:49 +0000 (22:09 +0000)]
remove obsolete dvt-simpletally

10 years agoseems to work
Ian Jackson [Sun, 2 Feb 2014 22:09:39 +0000 (22:09 +0000)]
seems to work

10 years agowip fix weaker defeat
Ian Jackson [Sun, 2 Feb 2014 22:07:32 +0000 (22:07 +0000)]
wip fix weaker defeat

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 21:35:23 +0000 (21:35 +0000)]
wip

10 years agowip, graph vertex name fixes, etc.
Ian Jackson [Sun, 2 Feb 2014 21:32:53 +0000 (21:32 +0000)]
wip, graph vertex name fixes, etc.

10 years agobetter msgs
Ian Jackson [Sun, 2 Feb 2014 21:00:15 +0000 (21:00 +0000)]
better msgs

10 years agowip better msgs before fix graph names
Ian Jackson [Sun, 2 Feb 2014 20:47:06 +0000 (20:47 +0000)]
wip better msgs before fix graph names

10 years agoseems to work
Ian Jackson [Sun, 2 Feb 2014 20:40:14 +0000 (20:40 +0000)]
seems to work

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 20:27:08 +0000 (20:27 +0000)]
wip

10 years agoautodie
Ian Jackson [Sun, 2 Feb 2014 20:18:49 +0000 (20:18 +0000)]
autodie

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 20:16:11 +0000 (20:16 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 18:37:39 +0000 (18:37 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 18:23:49 +0000 (18:23 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 18:23:46 +0000 (18:23 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 18:17:04 +0000 (18:17 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 16:53:01 +0000 (16:53 +0000)]
wip

10 years agowip
Ian Jackson [Sun, 2 Feb 2014 16:46:54 +0000 (16:46 +0000)]
wip

10 years agodvt-simple2tally: copy from devotee tree (fc6a9d420d1f09ddad28e7b03b1ff1299e5ea58b)
Ian Jackson [Sun, 2 Feb 2014 16:18:11 +0000 (16:18 +0000)]
dvt-simple2tally: copy from devotee tree (fc6a9d420d1f09ddad28e7b03b1ff1299e5ea58b)