changeset 42288 | 2074b31650e6 |
parent 42284 | 326f57825e1a |
child 42405 | 13ecdb3057d8 |
--- a/src/Pure/IsaMakefile Fri Apr 08 14:20:57 2011 +0200 +++ b/src/Pure/IsaMakefile Fri Apr 08 15:02:11 2011 +0200 @@ -184,8 +184,8 @@ Syntax/parser.ML \ Syntax/printer.ML \ Syntax/simple_syntax.ML \ - Syntax/syn_ext.ML \ Syntax/syntax.ML \ + Syntax/syntax_ext.ML \ Syntax/syntax_phases.ML \ Syntax/syntax_trans.ML \ Syntax/term_position.ML \