chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f228c5e) | patch
A rigorous proof. Totally unimportant to the code, but I didn't want
authorSimon Tatham <anakin@pobox.com>
Sat, 25 Aug 2007 17:46:13 +0000 (17:46 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 25 Aug 2007 17:46:13 +0000 (17:46 +0000)
commita603318eec298f1093139117fdc46097c745c293
tree22005c977a9214eb3661f752973037ca7106a39btree | snapshot
parentf228c5ef004dc901c984133a34819794e90d66a1commit | diff
A rigorous proof. Totally unimportant to the code, but I didn't want
to lose it :-)

[originally from svn r7703]
unfinished/divvy.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.