--- a/src/Pure/IsaMakefile Thu May 24 15:01:17 2012 +0200
+++ b/src/Pure/IsaMakefile Thu May 24 15:33:45 2012 +0200
@@ -23,7 +23,7 @@
BOOTSTRAP_FILES = \
General/exn.ML \
- ML-Systems/compiler_polyml-5.3.ML \
+ ML-Systems/compiler_polyml.ML \
ML-Systems/ml_name_space.ML \
ML-Systems/ml_pretty.ML \
ML-Systems/ml_system.ML \
@@ -31,7 +31,6 @@
ML-Systems/multithreading_polyml.ML \
ML-Systems/overloading_smlnj.ML \
ML-Systems/polyml.ML \
- ML-Systems/polyml_common.ML \
ML-Systems/pp_dummy.ML \
ML-Systems/proper_int.ML \
ML-Systems/single_assignment.ML \
@@ -141,10 +140,10 @@
Isar/token.ML \
Isar/toplevel.ML \
Isar/typedecl.ML \
- ML/install_pp_polyml-5.3.ML \
+ ML/install_pp_polyml.ML \
ML/ml_antiquote.ML \
ML/ml_compiler.ML \
- ML/ml_compiler_polyml-5.3.ML \
+ ML/ml_compiler_polyml.ML \
ML/ml_context.ML \
ML/ml_env.ML \
ML/ml_lex.ML \