# HG changeset patch
# User wenzelm
# Date 881962990 -3600
# Node ID b893b3ae8ef3369376268c40d68049be13df283d
# Parent  6d6bffeab898ce912a1027850efd557992358ad7
deleted smlnj-1.09.ML;

diff -r 6d6bffeab898 -r b893b3ae8ef3 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Fri Dec 12 22:41:45 1997 +0100
+++ b/src/Pure/IsaMakefile	Fri Dec 12 22:43:10 1997 +0100
@@ -10,7 +10,7 @@
 OUT = $(ISABELLE_OUTPUT)
 
 FILES = ML-Systems/polyml.ML ML-Systems/smlnj-0.93.ML \
-	ML-Systems/smlnj-1.09.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
+	ML-Systems/smlnj.ML ROOT.ML Syntax/ROOT.ML Syntax/ast.ML \
 	Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML Syntax/pretty.ML \
 	Syntax/printer.ML Syntax/symbol_font.ML Syntax/syn_ext.ML \
 	Syntax/syn_trans.ML Syntax/syntax.ML Syntax/token_trans.ML \