7.2 Mizarを使うための準備

Mizar を使うためには，まず各自のディレクトリを作る必要があります．C:＼ に，USER というディレクトリを作り，その下に各自のディレクトリを作ります．例えば，著者（中村）でしたら，nakamura というディレクトリを作ります．そしてその下に，TEXT，DICT，PREL の３つのディレクトリを作ります．それぞれのディレクトリについて説明しますと，TEXT はユーザが書いた Mizar article （.MIZ ファイル）を置くディレクトリです．Mizar のシステムが出力する中間ファイルもここに置かれます．DICT は，DICTionaryの略でここにはユーザが書いた vocabulary file（.VOC ファイル）を置きます．新しい言葉はこの vocabulary file の中に書いておきます．PRELは，PRELiminaries の略で，Mizar ライブラリに登録されてない article を参照するときに，ここに必要なファイルを置きます．



         C:＼USER＼NAKAMURA＼TEXT



                           ＼DICT



                           ＼PREL

Mizar を使うときには通常，カレントディレクトリ， C:＼USER の下の自分のディレクトリ で使います．