[mizar] Re: Mizar 7.8.04 MML 4.80.962

[Jesse Alama <alama@stanford.edu>]

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?

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*116: Invalid "qua" (http://www.mizar.org)