build

-#!/bin/bash
+#!/usr/wiss/wenzelm/bin/bash
 #
 # $Id$
 #
 # build - compile the Isabelle system and object-logics
 

   echo "  Options are:"
   echo "    -a           all logics"
   echo "    -b           batch mode"
   echo "    -t           run tests"
   echo
-  echo "  Compile the named LOGICS (default $DEFAULT_LOGIC), or all object logics"
+  echo "  Compile the named LOGICS (default $ISABELLE_LOGIC), or all object logics"
   echo "  in the distribution."
   echo
   exit 1
 }
 

   echo
   echo "Press RETURN to start compilation (including parents) of:"
   echo
 fi
 
-[ -z "$LOGICS" ] && LOGICS=$DEFAULT_LOGIC
+[ -z "$LOGICS" ] && LOGICS=$ISABELLE_LOGIC
 
 if [ -n "$ALL" ]; then
   LOGICS=""
   for DIR in $ISABELLE_HOME/src/*
   do