INSTALL

--- a/INSTALL	Thu Apr 02 14:09:41 2009 +0200
+++ b/INSTALL	Thu Apr 02 14:30:16 2009 +0200
@@ -73,7 +73,7 @@
 isabelle-process) directly from their location within the distribution
 directory [ISABELLE_HOME] like this:
 
-  [ISABELLE_HOME]/bin/isabelle-process HOL
+  [ISABELLE_HOME]/bin/isabelle tty -l HOL
 
 This starts an interactive Isabelle session within the current text
 terminal.  [ISABELLE_HOME]/bin may be put into the shell's search