C.2　ftp による Mizar の入手法

　Mizar は，以下に示す日本やポーランドの ftp サーバから anonymous ftp により入手することができます

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/

　Mizar のファイル名は

MS-DOS版では　mizar-X_Y-win32.exe
Linux版では 　　　mizar-X_Y-linux.tar

となっていて，X は Mizar ソフトウエアのバージョンを示し，Y は MML のバージョンを示しています．たとえば X が 6.1.12, Y が 3.33.722 である
mizar-6.1.12_3.33.722-win32.exe
は Mizar の Version 6.1.12, MML の Version 3.33.722 である MS-DOS 版のファイルになります．なお，MS-DOS版のファイルは自己解凍ファイルになっています．