7.2　Mizar を使うための準備

　Mizar を使うためには，まず各自のディレクトリを作る必要があります．
　ここでは MS-DOS版に準じた一例を説明しますが，C:\ に USER というディレクトリを作り，その下に各自のディレクトリを作ります．　例えば，著者(中村)でしたら，nakamura というディレクトリを作ります．そしてその下に，TEXT, DICT, PREL の3つのディレクトリを作ります．

　それぞれのディレクトリについて説明しますと，TEXT はユーザが書いた Mizararticle ( .MIZファイル) を置くディレクトリです．Mizar のシステムが出力する中間ファイルもここに置かれます．DICTは，DICTionary の略で，ここにはユーザが書いた vocabulary file ( .VOCファイル) を置きます．新しい言葉はこの vocabulary file の中に書いでおきます．PREL は，PRELiminaries の略で，Mizar ライブラリに登録されてない article を参照するときに，ここに必要なファイルを置きます．








　Mizar を使うときは通常，C:\USER の下の自分のディレクトリをカレントディレクトリとして使います．たとえば 7.4.1 で説明する accom という Mizar のコマンドを使うときは

　　C:\USER\NAKAMURA\ACCOM TEXT\EXAMPLE1.MIZ

のようにします．