[mizar] New Mizar version 6.1.15_3.42.752

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

  Dear All,
  I'd like to inform you that the new version of Mizar system (6.1.15)
and Mizar Mathematical Library (3.42.752) is available under usual URL:
ftp://mizar.uwb.edu.pl/pub/system/current/
  The link is available from our webpage.
  Linux x86 and Solaris x86 users can install the Mizar package
as before.
  For MS Windows users, the installation script 'install.bat' takes
only one parameter now, so the calling sequence to install full Mizar
system is
  install <destination-path>
  Journal of Formalized Mathematics will be updated before the end
of the year.
  Best Wishes for a Merry Christmas and a Happy New Year 2003,
  Adam Grabowski
  Library Committee of the Association of Mizar Users