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.