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 em…