Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962

[Adam Grabowski <adam@math.uwb.edu.pl>]

On Sat, 24 Mar 2007, Freek Wiedijk wrote:

> 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?
  My apologies for the delay, I will provide the description of changes
today - all these hypotheses can be verified. Unfortunately, after
the versions have been made, I discovered some - so to say - unfortunate
changes in the MML. So, the next bugfix version will soon follow.
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users