--- a/Admin/Linux/Isabelle.run Fri Jan 10 15:42:13 2020 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/usr/bin/env bash
-#
-# Author: Makarius
-#
-# Main Isabelle application script.
-
-# minimal Isabelle environment
-
-ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)/../.."; pwd)"
-source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
-
-
-# Java runtime options
-
-ISABELLE_NAME="$(basename "$0" .run)"
-declare -a JAVA_OPTIONS=($(perl -p -e 's,#.*$,,g;' "$ISABELLE_HOME/${ISABELLE_NAME}.options"))
-
-
-# main
-
-#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
-unset XMODIFIERS
-
-exec "$ISABELLE_HOME/contrib/jdk/x86_64-linux/jre/bin/java" \
- "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \
- -classpath "{CLASSPATH}" \
- "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
- isabelle.Main "$@"