Mizarのインストール方法(for Windows)

• リンク先から最新版(2009年12月7日現在の最新版は「mizar-7.11.04_4.131.1078-i386-win32.exe」(2009年12月1日版))をダウンロード後
  まず、[マイコンピュータ]から[ローカルディスク]をダブルクリック。
  

• 「c:\」の場所に「tmp」(名前は半角英数のみであれば何でも良い。)フォルダを作成します。
  

• 今作成した「tmp」フォルダにダウンロードした最新版のMizarシステムファイル(mizar-7.*.*.*-i386-win32.exe)をコピーします。
  

• コピー後、「tmp」フォルダ内の「mizar-7.*.*.*-i386-win32.exe」ファイルをダブルクリック。
  （自己解凍形式のファイルです。ファイルがいくつかできるはずです。）
  

• Windowsの「コマンドプロント」を実行します。
  （解らない人は「スタート」→「ファイル名を指定して実行」をクリックし、名前を「cmd」と入力してください。以下の画面がでます。）
  
  

• コマンドプロンプト上で「cd c:\tmp」と入力します。(画像)
  
  

• 「install c:\MIZAR」と入力します。（画像）
  すると、インストールが開始されます。
  
  

• インストールが終了すると、以下のようになります。(画像)
  
  

• 上の画面までできたら、コマンドプロンプトを閉じます。
  

• 次に、Windowsの[スタート]→[コントロールパネル]とクリックして「システム」をダブルクリックします。
  (コントロールパネルはクラシック表示に変更しておいてください。)
  

• 「システムのプロパティ」のウインドウから[詳細設定]タブをクリックします。(画像)
  
  

• 下の方にある「環境変数」をクリックします。以下のウインドウが開きます。(画像)
  
  

• 　(上の画像ではすでにユーザー環境変数にMIZFILESが設定されていますが、) ユーザー環境変数の「新規」をクリックします。
  新しいユーザー環境変数として、[変数名]に「MIZFILES」、[変数値]に「c:\MIZAR」を入力します。(画像)
  
  

• 次に[システム環境変数]の「Path」の部分を「編集」します。(画像)
  
  

• 上のウインドウから編集ボタンを押すと、以下のウインドウが開きます。(画像)
  
  

• 上の画像のように、既存の[変数値]の末尾に「;c:\MIZAR」を加えます。
  

  注意！！

  ここで、既存の変数値は絶対に消さないように！！
  まちがって消してしまった場合は[キャンセル]を押してから、[編集]しなおすこと！！
  

• 後は全て[OK]ボタンを押していけば設定は終了です。

  解らなかったり、うまくいかない場合は宮島まで連絡してください。