Mizar for MacOSX Catalina

Dear Mizar Users,

Prof. Katsumi Wasaki pointed out that 32-bit Mizar binaries are not
compatible anymore with the most recent version of MacOSX (Catalina). So a
new distribution with 64-bit versions of Mizar tools for this platform has
been compiled and is now available at:

http://mizar.uwb.edu.pl/~softadm/pub/system/i386-darwin/mizar-8.1.09_5.59.1363-i386-darwin.tar

All Mac users are therefore encouraged to try this new version. Subsequent
releases for the 'i386-darwin' platform are all going to be 64-bit only,
unless there are still some users interested in the back compatibility.

Please note that this distro is packed with a new development version
of MML (5.59.1363). Similar packages for other supported platforms are
also available for download. A new official 'current' version should be
released by the end of the year (probably with a few more new articles).

Best regards,

Adam Naumowicz