simon-svn: puzzles: simon

[tartarus-commits at lists.tartarus.org]

SVN root:       svn://ixion.tartarus.org/main
Changes by:     simon
Revision:       7703
Date:           2007-08-25 18:46:13 +0100 (Sat, 25 Aug 2007)

Log message (2 lines):
A rigorous proof. Totally unimportant to the code, but I didn't want
to lose it :-)

Modified files:
U   puzzles/unfinished/divvy.c

Links:
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi?rev=7703&view=rev
http://www.tartarus.org/~simon-anonsvn/viewcvs.cgi/puzzles/unfinished/divvy.c?rev=7703&r1=7702&r2=7703