On Sat, May 15, 1999 at 01:48:23AM +0100, Nik Clayton wrote:
> Didn't Knuth say "I've only proven TeX to be correct, I haven't tested
> it" or some such?

That's a quote in /usr/src/games/fortune/datfiles/fortunes:

"Beware of bugs in the above code; I have only proved it correct, not
tried it."
                -- Donald Knuth
-- 
Pierre Beyssac        [email protected] [email protected]
{Free,Net,Open}BSD, Linux : il y a moins bien, mais c'est plus cher
    Free domains: http://www.eu.org/ or mail [email protected]


To Unsubscribe: send mail to [email protected]
with "unsubscribe freebsd-hackers" in the body of the message

Reply via email to