[mizar] New Mizar version (6.3.06_3.54.782)

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

  Hi All,
  I'd like to inform you that the new version of Mizar system (6.3.06)
and the Mizar Mathematical Library (3.54.782) is available for all
supported platforms, that is Win32, Linux x86 and Sun Solaris x86.
  Main feature of this new release is that the bug reported by Piotr
Rudnicki is removed now. The Mizar Mathematical Library is practically
unchanged comparing to the previous release.
  For those of you using older versions of MML (before new EMM items
were created) transition tables are available in the 'doc' directory
of the distribution.
  The file 'replths.txt' contains hints on reference changes. If removed
theorem was a conjunction, one new reference instead may be not enough.
Such replacement lists were given in the file 'replthls.txt'.
  If you encounter any troubles concerning new release, Mizar User
Service (mus@mizar.uwb.edu.pl) can be helpful as usual.
  For downloading the whole distro, follow the link on our main page
http://www.mizar.org or http://mizar.uwb.edu.pl
  Regards,
  Adam Grabowski
  Library Committee of the Association of Mizar Users