--- a/src/Pure/README Sat Oct 04 16:19:49 2008 +0200
+++ b/src/Pure/README Sat Oct 04 17:40:56 2008 +0200
@@ -6,16 +6,16 @@
is the basis for all object-logics. The Isabelle/Pure image may be
compiled in batch mode like this:
- isatool make Pure
+ isabelle make Pure
Developers may want to produce a RAW image that merely consists of the
ML compiler with the compatibility setup of ML-Systems/ preloaded:
- isatool make RAW
+ isabelle make RAW
Now the Pure session may be compiled interactively as follows:
- isabelle -u RAW
+ isabelle-process -u RAW
See ROOT.ML for further information.