diff -r a30b7169fdd1 -r 7ad7d7d6df47 src/Pure/README
--- 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.