On Fri, 12 Jul 2002, David L. Harfst wrote:
> It didn't like the space between the "{" and "user".
Needless to say, I'm going to fix this infelicity.
And also, the wider one - if it finds a syntax error, it should be
diagnosing it, not just silently yielding false. (Both these are
essentially typos in the code caused by thinkos in my brain.)
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.