C.2 Acquisition of Mizar by ftp

Mizar can be acquired by anonymous ftp from the ftp server of Japan and Poland which are shown below.

Japan:
    ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/
    ftp://nicosia.is.s.u-tokyo.ac.jp/pub/misc/pcmizar/

Poland:
    ftp://ftp.mizar.org/
    ftp://mizar.uwb.edu.pl/pub/system/
    ftp://sunsite.icm.edu.pl/pub/mizar/


    The file names of Mizar are the following, X shows the version of Mizar software, and Y shows the version of MML.

MS-DOS version: mizar-X_Y-win32.exe
Linux version:      mizar-X_Y-linux.tar

    For example, when X is 6.1.12 and Y is 3.33.722, "mizar-6.1.12_3.33.722-win32.exe" is the MS-DOS version Mizar file of which Mizar Version is 6.1.12 and MML vsersion is 3.33.722. In addition, the file of a MS-DOS version is a self-extracting file.