Re: [mizar] Re: Mizar 7.8.04 MML 4.80.962

[Piotr Rudnicki <piotr@cs.ualberta.ca>]

On Thu, Mar 22, 2007 at 11:44:45PM -0700, Jesse Alama wrote:
> Adam Grabowski <adam@math.uwb.edu.pl> writes:
> 
> >   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:

	- Nothing new.
	- Something is new but it so embarassing that nobody wants to tell.
	- Something is new but so small that it is not worthwhile
          talking about.
    	- Something is new but it was meant to annoy the guys from the 
          other side of the ditch.
        - Everything is documented at some Wiki that only Josef knows about.

And the winner is:

	- Something is new and important for someone but others do not
          have to know about it.

Cheers,

-- 
Piotr Rudnicki                                http://web.cs.ualberta.ca/~piotr