Emacs+ProofGeneralの環境構築

ProofGeneralを下記のURLからダウンロードして解凍後、~/.emacs/dに移動する。
URL: http://proofgeneral.inf.ed.ac.uk/download

~/.emacs.d/ProofGeneral/でmakeを実行。エラーが発生した場合は以下の記事が参考になるかも
Emacs24でProofGeneralを立ち上げた時に警告が出た時の対処

makeが完了したら、init.elに以下のEmacsLispプログラムを追加

(load-file (expand-file-name "~/.emacs.d/ProofGeneral/generic/proof-site.el"))

環境構築は以上で終了。

Screenshot from 2014-09-02 04^%05^%33

使い方:

C-c C-h       - Help
C-c C-n       - Next Step
C-c C-u       - Undo Srep
C-c C-RET  - Goto Point
C-c C-a C-p - Print
C-c C-a C-c - Check
広告

コメントを残す

以下に詳細を記入するか、アイコンをクリックしてログインしてください。

WordPress.com ロゴ

WordPress.com アカウントを使ってコメントしています。 ログアウト / 変更 )

Twitter 画像

Twitter アカウントを使ってコメントしています。 ログアウト / 変更 )

Facebook の写真

Facebook アカウントを使ってコメントしています。 ログアウト / 変更 )

Google+ フォト

Google+ アカウントを使ってコメントしています。 ログアウト / 変更 )

%s と連携中