--- a/src/Pure/IsaMakefile Wed Apr 06 13:08:44 2011 +0200
+++ b/src/Pure/IsaMakefile Wed Apr 06 18:17:19 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 \
@@ -187,6 +187,7 @@
Syntax/syn_ext.ML \
Syntax/syn_trans.ML \
Syntax/syntax.ML \
+ Syntax/syntax_phases.ML \
Syntax/type_ext.ML \
System/isabelle_process.ML \
System/isabelle_system.ML \