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.
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.