chiark / gitweb /
~ian / sgt-puzzles.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84d0129) | patch
Aha, I've managed to prove that my inadequate error highlighting is
authorSimon Tatham <anakin@pobox.com>
Wed, 16 Sep 2009 10:57:11 +0000 (10:57 +0000)
committerSimon Tatham <anakin@pobox.com>
Wed, 16 Sep 2009 10:57:11 +0000 (10:57 +0000)
commitddfa693b0fd4a0902ba85414dc5bbefc5bb384cf
tree36cf99baee8b250a2c21a6b6ecbe343bf3160ea6tree | snapshot
parent84d012998fc5c82ff32c85243f8e0f6e9b1e003dcommit | diff
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.

[originally from svn r8653]
tents.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.