simon-svn: puzzles: simon

[Commits to Tartarus CVS repository.]

SVN root:       svn://svn.tartarus.org/sgt
Changes by:     simon
Revision:       8653
Date:           2009-09-16 11:57:11 +0100 (Wed, 16 Sep 2009)

Log message (3 lines):
Aha, I've managed to prove that my inadequate error highlighting is
actually just about adequate after all. Large comment added
containing some discussion and the proof.

Modified files:
U   puzzles/tents.c

Links:
http://svn.tartarus.org/sgt/?rev=8653&view=rev
http://svn.tartarus.org/sgt/puzzles/tents.c?rev=8653&r1=8652&r2=8653