Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 42240 5a4d30cd47a7
parent 42138 e54a985daa61
child 42241 dd8029f71e1c 
--- a/src/Pure/IsaMakefile	Tue Apr 05 15:15:33 2011 +0200
+++ b/src/Pure/IsaMakefile	Tue Apr 05 15:46:35 2011 +0200
@@ -121,7 +121,6 @@
   Isar/isar_syn.ML					\
   Isar/keyword.ML					\
   Isar/local_defs.ML					\
-  Isar/local_syntax.ML					\
   Isar/local_theory.ML					\
   Isar/locale.ML					\
   Isar/method.ML					\
@@ -180,6 +179,7 @@
   ROOT.ML						\
   Syntax/ast.ML						\
   Syntax/lexicon.ML					\
+  Syntax/local_syntax.ML				\
   Syntax/mixfix.ML					\
   Syntax/parser.ML					\
   Syntax/printer.ML					\
isabelle