1.1 --- a/Admin/build	Sat Oct 04 16:19:49 2008 +0200
     1.2 +++ b/Admin/build	Sat Oct 04 17:40:56 2008 +0200
     1.3 @@ -17,12 +17,12 @@
     1.4  ISABELLE_DIR="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
     1.5  
     1.6  if [ -d "$ISABELLE_DIR/Distribution" ]; then
     1.7 -  ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isatool"
     1.8 +  ISABELLE_TOOL="$ISABELLE_DIR/Distribution/bin/isabelle"
     1.9    ISABELLE_LIB="$ISABELLE_DIR/Distribution/lib"
    1.10    ISABELLE_SRC="$ISABELLE_DIR"
    1.11    ISABELLE_DOC_SRC="$ISABELLE_DIR/Doc"
    1.12  else
    1.13 -  ISABELLE_TOOL="$ISABELLE_DIR/bin/isatool"
    1.14 +  ISABELLE_TOOL="$ISABELLE_DIR/bin/isabelle"
    1.15    ISABELLE_LIB="$ISABELLE_DIR/lib"
    1.16    ISABELLE_SRC="$ISABELLE_DIR/src"
    1.17    ISABELLE_DOC_SRC="$ISABELLE_DIR/doc-src"