1.1 --- a/src/java/_INSTALL	Thu May 15 09:20:31 2008 +0200
     1.2 +++ b/src/java/_INSTALL	Sun Aug 24 13:03:12 2008 +0200
     1.3 @@ -128,15 +128,15 @@
     1.4         
     1.5         for running SML-process locally on nb:
     1.6  /------------------------------------------------------------------------------------\
     1.7 -  /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
     1.8 +  /netshares/commons/isac/Isabelle2002/bin/isabelle HOL-Real-Isac
     1.9  \------------------------------------------------------------------------------------/
    1.10         for running SML-process remotely within IST:
    1.11  /------------------------------------------------------------------------------------\
    1.12 -  ssh _user_@pear.ist.intra exec /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
    1.13 +  ssh _user_@pear.ist.intra exec /netshares/commons/isac/Isabelle2002/bin/isabelle HOL-Real-Isac
    1.14  \------------------------------------------------------------------------------------/
    1.15         for running SML-process remotely at IST
    1.16  /------------------------------------------------------------------------------------\
    1.17 -  ssh _user_@gw.ist.tugraz.at exec /usr/local/Isabelle2002/bin/isabelle HOL-Real-Isac
    1.18 +  ssh _user_@gw.ist.tugraz.at exec /netshares/commons/isac/Isabelle2002/bin/isabelle HOL-Real-Isac
    1.19  \------------------------------------------------------------------------------------/
    1.20  
    1.21         further information about the generation and handling of SML (i.e. the isac-kernel)