~mdw / sgt / puzzles / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a9ea89c) | patch
A rigorous proof. Totally unimportant to the code, but I didn't want
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 25 Aug 2007 17:46:13 +0000 (17:46 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Sat, 25 Aug 2007 17:46:13 +0000 (17:46 +0000)
commit2b3825a08a05725babc805e56e97b9f2d0c96a02
tree22005c977a9214eb3661f752973037ca7106a39btree | snapshot (tar.gz zip)
parenta9ea89c571ce42ec5b3eeefedc2ef6339c80c8c2commit | diff
A rigorous proof. Totally unimportant to the code, but I didn't want
to lose it :-)

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@7703 cda61777-01e9-0310-a592-d414129be87e
unfinished/divvy.c diff | blob | blame | history
Simon Tatham's portable puzzles collection; import of svn://svn.tartarus.org/sgt/puzzles