--- a/src/Pure/README Wed May 21 17:11:46 1997 +0200
+++ b/src/Pure/README Wed May 21 17:13:00 1997 +0200
@@ -3,16 +3,10 @@
This directory contains the ML source files for Pure Isabelle, which is the
basis for all object-logics. Important files include:
-Makefile -- compiles the files under Poly/ML or SML of New Jersey
+IsaMakefile -- compiles the files
-Syntax/ -- subdirectory containing the syntax module
-
-Thy/ -- subdirectory containing the thy file parser and loader
+Syntax/ -- the syntax module
-ROOT.ML -- loads all source files. Enter ML and type: use "ROOT.ML";
+Thy/ -- the theory file parser and loader
-NJ.ML -- compatibility file for Standard ML of New Jersey. You may wish to
- alter the parameter settings.
-
-POLY.ML -- compatibility file for Poly/ML
-
+ML-Systems/ -- compatibility files for various ML systems