emacs24.4にproofgeneral4.3をインストール

　Emacs24.4.1に最初proofgeneral4.2をインストールしようと、
proofgeneral4.2のmake compileでエラーでハマってたが
develop版の4.3pre131011は普通に成功したぽよwー、

• 4.2
  • http://proofgeneral.inf.ed.ac.uk/download
    • ProofGeneral-4.2.tgz, dependency emacs, '~> 23.3'
• 4.3
  • http://proofgeneral.inf.ed.ac.uk/devel
    • ProofGeneral-4.3pre131011.tgz, dependency emacs, '~> 24.3.1'

　4.3preを普通に解凍して、make clean; make compileで成功。
4.2はエラーになったから、一生懸命解析してたのにツラい＞＜、