Chapter 7

実行環境

 ここでは Mizar のシステムを自分のパソコンにインストールして利用するときの実行環境について説明します.実行環境としては,Windows 9x/2000/NT のMS-DOS プロンプト(コマンドプロンプト)で実行する MS-DOS 版のものと,intel 版の Linux(kernel 2.0.x, 2.2.x, 2.4.x )で実行する Linux 版のものがありますが,いずれの場合もなんらかの Editor が必要です.Mizar では拡張文字を使いますので,拡張文字の表示できる Editor を用意してください.MS-DOS 版では標準で付属しているEditorがお勧めです.そして,複数のライブラリファイルを参照しますので,複数のエディタウインドウが開けるものが便利です.