--- a/src/Pure/IsaMakefile Wed Aug 27 23:46:33 2008 +0200
+++ b/src/Pure/IsaMakefile Thu Aug 28 00:33:04 2008 +0200
@@ -62,8 +62,7 @@
ProofGeneral/pgip_isabelle.ML ProofGeneral/pgip_markup.ML \
ProofGeneral/pgip_output.ML ProofGeneral/pgip_parser.ML \
ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML \
- ProofGeneral/pgml_isabelle.ML ProofGeneral/preferences.ML \
- ProofGeneral/proof_general_emacs.ML \
+ ProofGeneral/preferences.ML ProofGeneral/proof_general_emacs.ML \
ProofGeneral/proof_general_pgip.ML Pure.thy ROOT.ML Syntax/ast.ML \
Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \
Syntax/printer.ML Syntax/simple_syntax.ML Syntax/syn_ext.ML \