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.
Add dependency for new Emacs PG code
authoraspinall
Tue, 05 Dec 2006 13:57:24 +0100
changeset 21650 257850c4a3ea
parent 21649 40e6fdd26f82
child 21651 99f4a06184dc
Add dependency for new Emacs PG code
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Tue Dec 05 13:56:43 2006 +0100
+++ b/src/Pure/IsaMakefile	Tue Dec 05 13:57:24 2006 +0100
@@ -53,7 +53,7 @@
   ProofGeneral/pgip.ML ProofGeneral/pgip_output.ML                              \
   ProofGeneral/pgip_tests.ML ProofGeneral/pgip_types.ML                         \
   ProofGeneral/preferences.ML ProofGeneral/proof_general_pgip.ML                \
-  ProofGeneral/ROOT.ML                                                          \
+  ProofGeneral/proof_general_emacs.ML ProofGeneral/ROOT.ML                      \
   Syntax/ROOT.ML Syntax/ast.ML Syntax/lexicon.ML Syntax/mixfix.ML		\
   Syntax/parser.ML Syntax/printer.ML Syntax/syn_ext.ML				\
   Syntax/syn_trans.ML Syntax/syntax.ML Syntax/type_ext.ML Thy/html.ML		\
isabelle