Chapter 7

Practice Environment


Let us explain the practice environment. As the practice environment, there is a need for some sort of Editor (for example, Brief, MMS, Turbo Pascal, and others). Because Mizar uses extensive words, we need to have an editor that can indicate them. In addition, because multiple library files are viewed, an editor that can open many windows is useful.

7.1 Install


Mizar is in three 3.5 inch 2HD (other than these, there are four disks for the Mizar library. All the files (.MIZ) that were registered up until now are also stored here. Mizar is used by installing it in the hard disk. Also, it needs about 10M bites of free hard disk space. Here, we will explain by designating the 3.5 inch floppy drive as the A disk drive and the hard disk being the C drive. Load the MS-DOS in English mode and insert the disk 'MizSystem' into the A drive, then the next command is entered.


C:>A:INSTALL A: C:MIZAR

After that, the files that are necessary for Mizar are copied onto the hard disk. After copying the first disk, there will be a message saying that you need to insert a new disk. Insert the disk 'MizABS' and press any key.

After the installment is finished, C:MIZAR is added to the path.