1.1 --- a/Admin/isatest/isatest-annomaly	Sat Oct 04 16:05:08 2008 +0200
     1.2 +++ b/Admin/isatest/isatest-annomaly	Sat Oct 04 16:05:09 2008 +0200
     1.3 @@ -42,7 +42,7 @@
     1.4  ## main
     1.5  
     1.6  ISABELLE_HOME="$DISTPREFIX/Isabelle"
     1.7 -ISATOOL="$ISABELLE_HOME/bin/isatool"
     1.8 +ISABELLE_TOOL="$ISABELLE_HOME/bin/isatool"
     1.9  
    1.10  [ -d $ISABELLE_HOME ] || fail "$ISABELLE_HOME is not a directory."
    1.11  
    1.12 @@ -73,7 +73,7 @@
    1.13  do
    1.14    ( cd "$ISABELLE_HOME/src/$L"; \
    1.15      cat ~/settings/annomaly >> $ISABELLE_HOME/etc/settings; \
    1.16 -    "$ISATOOL" make || fail "isatool make for $L failed." )
    1.17 +    "$ISABELLE_TOOL" make || fail "isabelle make for $L failed." )
    1.18  done
    1.19  
    1.20