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 p...@fasterix.frmug.org p...@fasterix.freenix.org
{Free,Net,Open}BSD, Linux : il y a moins bien, mais c'est plus cher
Free domains: http://www.eu.org/ or mail dns-mana...@eu.org
To Unsubscribe: send mail to majord...@freebsd.org
with "unsubscribe freebsd-hackers" in the body of the message
