Emacs24でProofGeneralを立ち上げた時に警告が出た時の対処

Emacs24でProofGeneralを立ち上げると以下のような警告が表示されたので
対応した時のメモ。

Warning (emacs): Proof General compiled for GNU Emacs 24.2 but running on 
GNU Emacs 24.3: "make clean; make" is recommended.

以下の記事を参考にしてProofGeneral/generic/pg-response.elを修正して、make clean && makeすると
解決できます。
http://blog.elliptium.net/2013/03/Emacs-24-3-1-ProofGeneral-4-2

広告

コメントを残す

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

WordPress.com ロゴ

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

Twitter 画像

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

Facebook の写真

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

Google+ フォト

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

%s と連携中