Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962

[Freek Wiedijk <freek@cs.ru.nl>]

Piotr:

>> >   this is to inform you that the new release of the Mizar Mathematical
>> > Library (4.80.962) is now available together with the system binaries
>> > (ver. 7.8.04) for all supported platforms. Underlying links can be
>> > find
>> > on our main home page (http://mizar.uwb.edu.pl and http://mizar.org).
>> >   If you encounter any troubles with the use of this brand new version,
>> > you can contact mml or mus at mizar.uwb.edu.pl.
>> 
>> What's new in this version?
>
>While awaiting an answer I invented several working hypotheses:

Well, the version number went from 7.8.03 to 7.8.04, which
looks rather minor to me.  So my guess for the answer is:

>	- Something is new but so small that it is not worthwhile
>          talking about.

Of course you also get three more articles in the MML.  And
maybe the already existing articles were revised too, who knows?

Freek