src/Pure/IsaMakefile
changeset 4405 b893b3ae8ef3
parent 4337 062cdcb04b08
child 4427 6d4545f809e5
     1.1 --- a/src/Pure/IsaMakefile	Fri Dec 12 22:41:45 1997 +0100
     1.2 +++ b/src/Pure/IsaMakefile	Fri Dec 12 22:43:10 1997 +0100
     1.3 @@ -10,7 +10,7 @@
     1.4  OUT = $(ISABELLE_OUTPUT)
     1.5  
     1.6  FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \
     1.7 -	ML-Systems/smlnj-1.09.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
     1.8 +	ML-Systems/smlnj.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
     1.9  	Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/pretty.ML \
    1.10  	Syntax/printer.ML Syntax/symbol_font.ML Syntax/syn_ext.ML \
    1.11  	Syntax/syn_trans.ML Syntax/syntax.ML Syntax/token_trans.ML \