Admin/isatest/isatest-makeall

 #!/usr/bin/env bash
 #
 # $Id$
 # Author: Gerwin Klein, TU Muenchen
 #
-# DESCRIPTION: Run isatool makeall from specified distribution and settings.
+# DESCRIPTION: Run isabelle makeall from specified distribution and settings.
 
 ## global settings
 . ~/admin/isatest/isatest-settings
 
 # max time until test is aborted (in sec)

 function usage()
 {
   echo
   echo "Usage: $PRG [-l logic targets] settings1 [settings2 ...]"
   echo
-  echo "  Runs isatool makeall for specified settings."
+  echo "  Runs isabelle makeall for specified settings."
   echo "  Leaves messages in ${ERRORLOG} and ${LOGPREFIX} if it fails."
   echo
   echo "Examples:"
   echo "  $PRG ~/settings/at-poly ~/settings/at-sml"
   echo "  $PRG -l HOL \"HOL-Library HOL-Bali\" ~/settings/at-poly"

         # be nice by default
         NICE=nice
         ;;
 esac
 
-ISABELLE_TOOL="$DISTPREFIX/Isabelle/bin/isatool"
+ISABELLE_TOOL="$DISTPREFIX/Isabelle/bin/isabelle"
 
 [ -x $ISABELLE_TOOL ] || fail "Cannot run $ISABELLE_TOOL"
 
 if [ "$1" = "-l" ]; then
   shift