[mizar] Re: feature request: include a semantic representaion of the mml in the mizar distribution

[Jesse Alama <alama@stanford.edu>]

Josef Urban <urban@ktilinux.ms.mff.cuni.cz> writes:

> the new HTML is browsable at
> http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.76.959/ , and
> downloadable at
> http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.76.959.tar.gz
> (unpacks to 1.2GB).

I had thought that 4.75.958 was the most recent MML version; I didn't
even know that there was a new version.  Isn't there usually an
announcement about these things?  How did you know that there was a
new MML?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*143: No implicit qualification