1.1 --- a/test/Tools/isac/Test_Isac.thy	Fri May 06 11:18:07 2011 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Sun May 08 19:14:48 2011 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4     (c) copyright due to lincense terms.
     1.5  
     1.6  $ cd /usr/local/isabisac/test/Tools/isac
     1.7 -$ /usr/local/isabisac/bin/isabelle emacs -l Isac Test_Isac.thy &
     1.8 +$ /usr/local/Isabelle/bin/isabelle jedit -l Isac Test_Isac.thy &
     1.9  1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
    1.10          10        20        30        40        50        60        70        80         90      100
    1.11  *)