Chapter 7

Practice Environment

Here, we explain the Practice Environment of installing and using the system of Mizar in our personal computer.
    As a Practice Environment, although there are the MS-DOS version which we use at the MS-DOS prompt (command prompt) of Windows9x/2000/NT, and the Linux version which we use at Linux (kernel 2.0.x, 2.2.x, and 2.4.x) of the intel version, in any case, a certain editor is required. Since an extension letters is used in Mizar, please prepare an editor which can display an extension letters. In the MS-DOS version, we recommend an editor which is attached as a standard. And since we will refer to two or more library files, it is convenient to use an editor that we can open two or more editor windows.