5 # Main Isabelle application script.
7 # dereference executable
9 TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
10 exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
14 # minimal Isabelle environment
16 ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
17 source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
22 #paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
25 exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
26 "-Disabelle.home=$ISABELLE_HOME" \
27 -Xms128m -Xmx1024m -Xss2m -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle \
28 -classpath "$ISABELLE_HOME/lib/classes/Pure.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/iText-2.1.5.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/jcommon-1.0.18.jar:$ISABELLE_HOME/contrib/jfreechart-1.0.14-1/lib/jfreechart-1.0.14.jar:$ISABELLE_HOME/contrib/jortho-1.0-2/jortho.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/akka-actor_2.11-2.3.4.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/config-1.2.1.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/jline-2.12.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-actors-2.11.0.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-actors-migration_2.11-1.1.0.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-compiler.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-continuations-library_2.11-1.0.2.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-continuations-plugin_2.11.2-1.0.2.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-library.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-parser-combinators_2.11-1.0.2.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-reflect.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-swing_2.11-1.0.1.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scala-xml_2.11-1.0.2.jar:$ISABELLE_HOME/contrib/scala-2.11.2/lib/scalap-2.11.2.jar:$ISABELLE_HOME/contrib/xz-java-1.2-1/lib/xz.jar:$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" \
29 "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \