Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added ProofGeneral/pgml_isabelle.ML;
authorwenzelm
Sun, 04 Nov 2007 16:43:28 +0100
changeset 25272 2dbc2bbe237a
parent 25271 f28efd37e18a
child 25273 189db9ef803f
added ProofGeneral/pgml_isabelle.ML;
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Sun Nov 04 16:43:27 2007 +0100
+++ b/src/Pure/IsaMakefile	Sun Nov 04 16:43:28 2007 +0100
@@ -57,7 +57,7 @@
   ProofGeneral/parsing.ML ProofGeneral/pgip.ML ProofGeneral/pgip_input.ML	\
   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/pgip_tests.ML ProofGeneral/pgip_types.ML ProofGeneral/pgml_isabelle.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		\
isabelle