[mizar] Mizar 7.8.04 MML 4.80.962

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

  Dear Mizar Users,
  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.
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users