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.


    Please refer to Appendix C about getting from an anonymous ftp server.
    Mizar is used installing the Mizar archive file to the hard disk.