1.1 --- a/Admin/Linux/Isabelle	Mon Nov 11 18:25:13 2013 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,30 +0,0 @@
     1.4 -#!/usr/bin/env bash
     1.5 -#
     1.6 -# Author: Makarius
     1.7 -#
     1.8 -# Main Isabelle application wrapper.
     1.9 -
    1.10 -# dereference executable
    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 -# minimal Isabelle environment
    1.18 -
    1.19 -ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
    1.20 -source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
    1.21 -
    1.22 -
    1.23 -# main
    1.24 -
    1.25 -#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
    1.26 -unset XMODIFIERS
    1.27 -
    1.28 -exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
    1.29 -  "-Disabelle.home=$ISABELLE_HOME" \
    1.30 -  {JAVA_ARGS} \
    1.31 -  -classpath "{CLASSPATH}" \
    1.32 -  isabelle.Main "$@"
    1.33 -