On Thu, Apr 12, 2001 at 01:54:56PM +0100, Aaron Trevena wrote:
> it no longer kills dia

This appears not to be the case, as of dia 0.86.

I did write and prove correct a 20-line program in January, but I made
the mistake of testing it on our VAX and it had an error, which two
weeks of searching didn't uncover, so there went one publication out the
window.  - David Gries, 1980

Reply via email to