--- a/README Mon Oct 21 11:36:57 1996 +0200
+++ b/README Mon Oct 21 11:37:21 1996 +0200
@@ -37,10 +37,10 @@
ML_DBASE is an *absolute* pathname to the initial Poly/ML database. It is not
required for New Jersey ML.
-ISABELLECOMP is the ML compiler, typically "poly -noDisplay" or "sml". If
-ISABELLECOMP begins with the letters "poly" then the Makefiles assume that
-it is Poly/ML; if it begins with the letters "sml" then they assume
-Standard ML of New Jersey.
+ISABELLECOMP is the ML compiler, typically "poly -noDisplay" or "/bin/sml".
+If, after stripping a leading pathname, the compiler begins with the letters
+"poly" then the Makefiles assume Poly/ML. If it begins with the letters "sml"
+then they assume Standard ML of New Jersey.
If a Poly/ML session fails with the message "Run out of store" then you
have used up the entire heap. If your tactic is not in a loop, allocating