Re: [mizar] First mention of Mizar on Usenet

[Josh Purinton <josh@joshpurinton.com>]

On Tue, Dec 11, 2001 at 11:21:41PM -0500, Josh Purinton wrote:
> Today Google extended their Usenet archive back to 1981.  A bit of
> poking around revealed the first mention of Mizar on Usenet. In
> this 1992 article...

Evidently I didn't poke around enough. Here's a brief mention from 1988
by a third party.

http://groups.google.com/groups?selm=8805241932.AA19821%40BLOOM-BEACON.MIT.EDU

Josh


-- 
Josh Purinton <josh@joshpurinton.com>
We can only see a short distance ahead, but we can see plenty there
that needs to be done.  -- Alan Turing, on computers in 1953