WindowsにもCoqを入れてみた。
そして、コケたのでメモ
Coq8.3pl2のwindows版を
からダウンロード、手順に従えば無事インストール完了。
emacsからこれを使うための設定
ProofGeneralを使うためにはemacsのバージョンに制限があるらしい
Emacs 22.3.1はサポートして無いよう
Emacs 23.2 が推奨らしいのでhttp://gnupack.sourceforge.jp/docs/current/UsersGuide_download.html
の下のほうからダウンロード
(注:新しすぎてもダメなよう 自分の環境ではemacs-23.3-rc1でもダメだった。他のバージョンは未確認)
下はProofGeneralの場所によって変更して、.emacsファイルに追加する。
(load-file "C:/SecondDisc/emacs/ProofGeneral/generic/proof-site.el")
emacsの設定中¥は/でいいみたいなのでこちらを採用
うまくいったことを確認するには適当にファイルvファイルを開いておじさんの絵が出てくればOk。
(Verilogファイルと間違えたりした場合は M-x coq-mode で変更できる)