1.1 --- a/bin/isabelle-interface	Sun Nov 30 12:58:20 2008 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,44 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# $Id$
     1.7 -# Author: Markus Wenzel, TU Muenchen
     1.8 -#
     1.9 -# Isabelle interface startup script.
    1.10 -
    1.11 -if [ -L "$0" ]; then
    1.12 -  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
    1.13 -  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
    1.14 -fi
    1.15 -
    1.16 -
    1.17 -## settings
    1.18 -
    1.19 -PRG="$(basename "$0")"
    1.20 -
    1.21 -ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"
    1.22 -source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2
    1.23 -
    1.24 -
    1.25 -## diagnostics
    1.26 -
    1.27 -function fail()
    1.28 -{
    1.29 -  echo "$1" >&2
    1.30 -  exit 2
    1.31 -}
    1.32 -
    1.33 -
    1.34 -## main
    1.35 -
    1.36 -case "$ISABELLE_INTERFACE" in
    1.37 -  none)
    1.38 -    INTERFACE="$ISABELLE_PROCESS"
    1.39 -    ;;
    1.40 -  */*)
    1.41 -    INTERFACE="$ISABELLE_INTERFACE"
    1.42 -    ;;
    1.43 -esac
    1.44 -
    1.45 -[ ! -x "$INTERFACE" ] && fail "Bad Isabelle interface: \"$ISABELLE_INTERFACE\""
    1.46 -
    1.47 -exec "$INTERFACE" "$@"