1.1 Binary file Isabelle2014 has changed
2.1 --- a/Isabelle2014.run Mon Jun 22 08:27:30 2015 +0200
2.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
2.3 @@ -1,31 +0,0 @@
2.4 -#!/usr/bin/env bash
2.5 -#
2.6 -# Author: Makarius
2.7 -#
2.8 -# Main Isabelle application script.
2.9 -
2.10 -# dereference executable
2.11 -if [ -L "$0" ]; then
2.12 - TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
2.13 - exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"
2.14 -fi
2.15 -
2.16 -
2.17 -# minimal Isabelle environment
2.18 -
2.19 -ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
2.20 -source "$ISABELLE_HOME/lib/scripts/isabelle-platform"
2.21 -
2.22 -
2.23 -# main
2.24 -
2.25 -#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
2.26 -unset XMODIFIERS
2.27 -
2.28 -exec "$ISABELLE_HOME/contrib/jdk/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bin/java" \
2.29 - "-Disabelle.home=$ISABELLE_HOME" \
2.30 - -Xms128m -Xmx1024m -Xss2m -Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle \
2.31 - -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" \
2.32 - "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \
2.33 - isabelle.Main "$@"
2.34 -
3.1 --- a/README Mon Jun 22 08:27:30 2015 +0200
3.2 +++ b/README Mon Jun 22 15:30:19 2015 +0200
3.3 @@ -2,7 +2,7 @@
3.4
3.5 Version information
3.6
3.7 - This is Isabelle2014: August 2014.
3.8 + This is Isabelle2014-Isac.
3.9
3.10 See the NEWS file in the distribution for details on user-relevant
3.11 changes.
4.1 --- a/etc/settings Mon Jun 22 08:27:30 2015 +0200
4.2 +++ b/etc/settings Mon Jun 22 15:30:19 2015 +0200
4.3 @@ -58,7 +58,7 @@
4.4 if [ -z "$ISABELLE_IDENTIFIER" ]; then
4.5 ISABELLE_HOME_USER="$USER_HOME/.isabelle"
4.6 else
4.7 - ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
4.8 + ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac"
4.9 fi
4.10
4.11 # Where to look for isabelle tools (multiple dirs separated by ':').
5.1 --- a/lib/scripts/getsettings Mon Jun 22 08:27:30 2015 +0200
5.2 +++ b/lib/scripts/getsettings Mon Jun 22 15:30:19 2015 +0200
5.3 @@ -76,8 +76,8 @@
5.4 fi
5.5
5.6 #Isabelle distribution identifier -- filled in automatically!
5.7 -ISABELLE_ID="8f4a332500e4"
5.8 -[ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER="Isabelle2014"
5.9 +ISABELLE_ID=""
5.10 +[ -z "$ISABELLE_IDENTIFIER" ] && ISABELLE_IDENTIFIER="Isabelle2014-Isac"
5.11
5.12 #sometimes users put strange things in here ...
5.13 unset ENV