1.1 --- a/Admin/isatest/settings/at-poly Wed Apr 25 11:29:55 2012 +0200
1.2 +++ b/Admin/isatest/settings/at-poly Wed Apr 25 14:19:53 2012 +0200
1.3 @@ -24,6 +24,5 @@
1.4
1.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
1.6
1.7 -init_component "$HOME/contrib_devel/jdk-7u3_x86-linux"
1.8 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
1.9
2.1 --- a/Admin/isatest/settings/at-poly-e Wed Apr 25 11:29:55 2012 +0200
2.2 +++ b/Admin/isatest/settings/at-poly-e Wed Apr 25 14:19:53 2012 +0200
2.3 @@ -24,5 +24,4 @@
2.4
2.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
2.6
2.7 -init_component "$HOME/contrib_devel/jdk-7u3_x86-linux"
2.8 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
3.1 --- a/Admin/isatest/settings/at-poly-test Wed Apr 25 11:29:55 2012 +0200
3.2 +++ b/Admin/isatest/settings/at-poly-test Wed Apr 25 14:19:53 2012 +0200
3.3 @@ -28,5 +28,4 @@
3.4 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
3.5 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
3.6
3.7 -init_component "$HOME/contrib_devel/jdk-7u3_x86-linux"
3.8 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
4.1 --- a/Admin/isatest/settings/at64-poly Wed Apr 25 11:29:55 2012 +0200
4.2 +++ b/Admin/isatest/settings/at64-poly Wed Apr 25 14:19:53 2012 +0200
4.3 @@ -24,5 +24,4 @@
4.4
4.5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
4.6
4.7 -init_component "$HOME/contrib_devel/jdk-7u3_x86_64-linux"
4.8 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
5.1 --- a/Admin/isatest/settings/cygwin-poly-e Wed Apr 25 11:29:55 2012 +0200
5.2 +++ b/Admin/isatest/settings/cygwin-poly-e Wed Apr 25 14:19:53 2012 +0200
5.3 @@ -24,5 +24,4 @@
5.4
5.5 ISABELLE_USEDIR_OPTIONS="-M 1 -i false -d false"
5.6
5.7 -init_component "$HOME/contrib_devel/jdk-7u3_x86-linux"
5.8 init_component "$HOME/contrib/kodkodi-1.2.16"
6.1 --- a/Admin/mira.py Wed Apr 25 11:29:55 2012 +0200
6.2 +++ b/Admin/mira.py Wed Apr 25 14:19:53 2012 +0200
6.3 @@ -59,7 +59,6 @@
6.4
6.5 ISABELLE_USEDIR_OPTIONS="%s"
6.6
6.7 -ISABELLE_JDK_HOME="$JAVA_HOME"
6.8 Z3_NON_COMMERCIAL="yes"
6.9
6.10 %s