Chapter 7
実行環境
実行環境について説明します．実行環境としては，なんらかの Editor (例えば，Brief, MMS, Turbo Pascal等があります．), が必要です．Mizar では拡張文字を使いますので，拡張文字の表示できる Editor を用意してください．そして，複数のライブラリファイルを参照しますので，複数のエディタウィンドウが開けるものが便利です．
7.1 インストール
Mizar は3.5インチ2HD，3枚に入っています (この他に Mizar ライブラリのディスクが4枚あります．いままで登録された，すべての（.MIZ）ファイルが収められています．)．Mizar はハードディスクにインストールして使います．なお約10Mバイトのハードディスクの空き容量が必要です．ここでは，3.5インチのディスクドライブが Aドライブ，ハードディスクが Cドライブの場合で説明します．英語モードで MS-DOS を立ちあげて，Aドライブに，'MizSystem'と書いてあるディスクを入れます．そして次のコマンドを入力します．
C:>A:INSTALL A: C:＼MIZAR
すると Mizar に必要なファイルがハードディスクにコピーされます．1枚目のディスクのコピーが終わると，ディスクを入れ変えてください，というメッセージがあらわれますので，'MizABS'と書いてあるディスクを入れてから，何かキーを押します．
インストールが終わったら，パスに C:＼MIZAR を追加します．