bin/isabelle
changeset 2735 29434f9b95dd
parent 2711 098f9ce0541a
child 2768 bc6d915b8019
     1.1 --- a/bin/isabelle	Wed Mar 05 17:15:31 1997 +0100
     1.2 +++ b/bin/isabelle	Thu Mar 06 12:28:17 1997 +0100
     1.3 @@ -9,21 +9,9 @@
     1.4  
     1.5  PRG=$(basename $0)
     1.6  
     1.7 -ISABELLE_HOME=$(dirname $(dirname $0))
     1.8 -case "$ISABELLE_HOME" in
     1.9 -  /*)
    1.10 -    if [ -f $ISABELLE_HOME/lib/scripts/getsettings ]; then
    1.11 -      . $ISABELLE_HOME/lib/scripts/getsettings || exit 2
    1.12 -    else
    1.13 -      echo "ERROR: $PRG probably not called from its original place!"
    1.14 -      exit 1
    1.15 -    fi
    1.16 -    ;;
    1.17 -  *)
    1.18 -    echo "ERROR: $PRG not called with absolute path specification!"
    1.19 -    exit 1
    1.20 -    ;;
    1.21 -esac
    1.22 +ISABELLE_HOME=$(dirname $0)/..
    1.23 +. $ISABELLE_HOME/lib/scripts/getsettings || \
    1.24 +  { echo "$PRG probably not called from its original place!"; exit 2 }
    1.25  
    1.26  
    1.27  ## diagnostics