--- a/src/Pure/IsaMakefile Tue Apr 05 15:46:35 2011 +0200
+++ b/src/Pure/IsaMakefile Tue Apr 05 18:06:45 2011 +0200
@@ -184,6 +184,7 @@
Syntax/parser.ML \
Syntax/printer.ML \
Syntax/simple_syntax.ML \
+ Syntax/standard_syntax.ML \
Syntax/syn_ext.ML \
Syntax/syn_trans.ML \
Syntax/syntax.ML \