INSTALL
changeset 30852 59a422908e29
parent 29145 b1c6f4563df7
child 30898 16912b4e6625
     1.1 --- a/INSTALL	Thu Apr 02 14:09:41 2009 +0200
     1.2 +++ b/INSTALL	Thu Apr 02 14:30:16 2009 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4  isabelle-process) directly from their location within the distribution
     1.5  directory [ISABELLE_HOME] like this:
     1.6  
     1.7 -  [ISABELLE_HOME]/bin/isabelle-process HOL
     1.8 +  [ISABELLE_HOME]/bin/isabelle tty -l HOL
     1.9  
    1.10  This starts an interactive Isabelle session within the current text
    1.11  terminal.  [ISABELLE_HOME]/bin may be put into the shell's search