Aha, I've managed to prove that my inadequate error highlighting is
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 16 Sep 2009 10:57:11 +0000 (10:57 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Wed, 16 Sep 2009 10:57:11 +0000 (10:57 +0000)
commit7463d8efc4bd8876450d2ae7f52f2ae72e3c70ab
tree36cf99baee8b250a2c21a6b6ecbe343bf3160ea6
parente8df451fdb3180b2222a98d2ee2743cc22ba683d
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.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@8653 cda61777-01e9-0310-a592-d414129be87e
tents.c