emacs24 で ProofGeneral 使うときのメモ

ずっとtrunkのemacsを自分でビルドして使ってるわけなんですが、ProofGeneralを使おうとして、byte-compileしようとするとこけます。
で、エラーメッセージを読むと interactive-p を使うな、 called-interactively-p を使えとあるので

(interactive-p)

を探して

(called-interactively-p 'interactive)

に書きかえると動きます。

development releaseだったら何もしなくとも動くのかもしれない・・・