[ Redirected to -chat ]
On Fri, May 14, 1999 at 05:30:51PM -0600, Wes Peters wrote:
> Matt Curtin wrote:
> >
> > >>>>> On Thu, 13 May 1999 10:25:21 -0400, Dennis <den...@etinc.com> said:
> >
> > Dennis> All software has bugs
> >
> > TeX has no bugs.
>
> TeX has no *known* bugs. To the best of my knowlege, even Dr. Knuth
> has not yet been able to *prove* it is correct.
Didn't Knuth say "I've only proven TeX to be correct, I haven't tested
it" or some such?
I could well be mis-remembering a quote about some other app.
N
--
There's some milk in the fridge about to go off. . . and there it goes.
To Unsubscribe: send mail to majord...@freebsd.org
with "unsubscribe freebsd-hackers" in the body of the message
