Re: [mizar] New MML version 4.76.959

[Jesse Alama <alama@stanford.edu>]

Adam Grabowski <adam@math.uwb.edu.pl> writes:

> On Fri, 19 Jan 2007, Jesse Alama wrote:
>
>> 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?
>   In fact, I used to announce it; some intensive changes of the MML
> still take place, hence my doubts about it.

I understand.  Nonetheless, when a new MML is mentioned on the Mizar
homepage and made available for download, it would be nice to know
about it.

What kinds of changes are going on with the MML?

Jesse

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