1.1 --- a/Admin/isatest/isatest-doc	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-doc	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -25,7 +25,7 @@
     1.4  SHORT=at-poly
     1.5  SETTINGS=~/settings/$SHORT
     1.6  
     1.7 -ISABELLE_TOOL=$ISABELLE_DEVEL/bin/isatool
     1.8 +ISABELLE_TOOL=$ISABELLE_DEVEL/bin/isabelle
     1.9      
    1.10  
    1.11  MAIL=$HOME/bin/pmail