Admin/isatest/isatest-doc

--- a/Admin/isatest/isatest-doc	Sat Oct 04 16:05:08 2008 +0200
+++ b/Admin/isatest/isatest-doc	Sat Oct 04 16:05:09 2008 +0200
@@ -25,7 +25,7 @@
 SHORT=at-poly
 SETTINGS=~/settings/$SHORT
 
-ISATOOL=$ISABELLE_DEVEL/bin/isatool
+ISABELLE_TOOL=$ISABELLE_DEVEL/bin/isatool
     
 
 MAIL=$HOME/bin/pmail
@@ -80,7 +80,7 @@
     (
       cd $DIR
       ulimit -t $MAXTIME 
-      nice $ISATOOL make >> $LOG 2>&1
+      nice $ISABELLE_TOOL make >> $LOG 2>&1
     ) || FAIL="${FAIL}${DIR} "    
     echo "Finished [$DIR]" >> $LOG
     echo >> $LOG