Re: Problems with Mizar system

[Roman Matuszewski <ROMAT@plearn.edu.pl>]

The newest version of the PC Mizar: 5.3.02 is available.
You can find at the anonymous FTP:

   ftp://venus.ci.uw.edu.pl/pub/mizug/
or
   ftp://sunsite.icm.edu.pl/pub/mizar/
or
   ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/

It works now on the Pentium II PC's, the error reported e.g. by Victor
Makarov, it was caused by a short coming in the Crt Unit of the Borland
Pascal Compiler, compare:
   http://sunsite.icm.edu.pl/pub/garbo/pc/turbopa7/tppatch.zip

The newest version of the Mizar Mathematical Library (MML): 3.1.513 is
also available at the same above FTP addresses.
Be informed, that the 5.3.02 version of the PC Mizar system (as well
as 5.3.01) does not work with the old MML.

-- Roman Matuszewski
   (romat@mizar.org , romat@plearn.edu.pl)