7.1 Installation
Each file of MS-DOS version and the Linux version for Practice Environment
installation of Mizar is about 14 M bytes archive file. Therefore, it is
easy to get them using a browser or the ftp command from Homepage and the
ftp server of Mizar. For example, if it is from Homepege, please get them
from the following URL etc.
http://markun.cs.shinshu-u.ac.jp/kiso/projects2/proofchecker/mizar/index-j.html
Please refer to Appendix C about getting from an anonymous
ftp server.
Mizar is used installing the Mizar archive file to the hard
disk.