emacs24 で ProofGeneral 使うときのメモ
ずっとtrunkのemacsを自分でビルドして使ってるわけなんですが、ProofGeneralを使おうとして、byte-compileしようとするとこけます。
で、エラーメッセージを読むと interactive-p を使うな、 called-interactively-p を使えとあるので
(interactive-p)
を探して
(called-interactively-p 'interactive)
に書きかえると動きます。
development releaseだったら何もしなくとも動くのかもしれない・・・