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)
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


No differences found