ref: ddfa693b0fd4a0902ba85414dc5bbefc5bb384cf
parent: 84d012998fc5c82ff32c85243f8e0f6e9b1e003d
author: Simon Tatham <anakin@pobox.com>
date: Wed Sep 16 06:57:11 EDT 2009
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]