src/Pure/README

--- a/src/Pure/README	Tue Mar 31 15:57:10 2009 -0700
+++ b/src/Pure/README	Wed Apr 01 11:53:05 2009 +0200
@@ -15,7 +15,6 @@
 
 Now the Pure session may be compiled interactively as follows:
 
-  isabelle-process -u RAW
+  isabelle tty -l RAW
+  use "ROOT.ML";
 
-See ROOT.ML for further information.
-