1.1 --- a/Admin/isatest/settings/afp-poly Wed Aug 08 11:53:14 2012 +0200
1.2 +++ b/Admin/isatest/settings/afp-poly Wed Aug 08 12:10:22 2012 +0200
1.3 @@ -27,7 +27,6 @@
1.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
1.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
1.6
1.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
1.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
1.9
1.10 init_component "$CONTRIB/kodkodi-1.2.16"
2.1 --- a/Admin/isatest/settings/at-poly Wed Aug 08 11:53:14 2012 +0200
2.2 +++ b/Admin/isatest/settings/at-poly Wed Aug 08 12:10:22 2012 +0200
2.3 @@ -22,7 +22,6 @@
2.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
2.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
2.6
2.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
2.8 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
2.9
2.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
3.1 --- a/Admin/isatest/settings/at-poly-e Wed Aug 08 11:53:14 2012 +0200
3.2 +++ b/Admin/isatest/settings/at-poly-e Wed Aug 08 12:10:22 2012 +0200
3.3 @@ -22,7 +22,6 @@
3.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
3.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
3.6
3.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
3.8 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
3.9
3.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
4.1 --- a/Admin/isatest/settings/at-poly-test Wed Aug 08 11:53:14 2012 +0200
4.2 +++ b/Admin/isatest/settings/at-poly-test Wed Aug 08 12:10:22 2012 +0200
4.3 @@ -22,7 +22,6 @@
4.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
4.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
4.6
4.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
4.8 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
4.9
4.10 ISABELLE_GHC="/usr/bin/ghc"
5.1 --- a/Admin/isatest/settings/at-sml-dev-e Wed Aug 08 11:53:14 2012 +0200
5.2 +++ b/Admin/isatest/settings/at-sml-dev-e Wed Aug 08 12:10:22 2012 +0200
5.3 @@ -21,6 +21,5 @@
5.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
5.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
5.6
5.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
5.8 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
5.9
6.1 --- a/Admin/isatest/settings/at64-poly Wed Aug 08 11:53:14 2012 +0200
6.2 +++ b/Admin/isatest/settings/at64-poly Wed Aug 08 12:10:22 2012 +0200
6.3 @@ -22,7 +22,6 @@
6.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
6.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
6.6
6.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
6.8 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
6.9
6.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
7.1 --- a/Admin/isatest/settings/mac-poly-M2 Wed Aug 08 11:53:14 2012 +0200
7.2 +++ b/Admin/isatest/settings/mac-poly-M2 Wed Aug 08 12:10:22 2012 +0200
7.3 @@ -23,7 +23,6 @@
7.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
7.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
7.6
7.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
7.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
7.9
7.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
8.1 --- a/Admin/isatest/settings/mac-poly-M4 Wed Aug 08 11:53:14 2012 +0200
8.2 +++ b/Admin/isatest/settings/mac-poly-M4 Wed Aug 08 12:10:22 2012 +0200
8.3 @@ -23,7 +23,6 @@
8.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
8.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
8.6
8.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
8.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
8.9
8.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
9.1 --- a/Admin/isatest/settings/mac-poly-M8 Wed Aug 08 11:53:14 2012 +0200
9.2 +++ b/Admin/isatest/settings/mac-poly-M8 Wed Aug 08 12:10:22 2012 +0200
9.3 @@ -23,7 +23,6 @@
9.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
9.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
9.6
9.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
9.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
9.9
9.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
10.1 --- a/Admin/isatest/settings/mac-poly64-M2 Wed Aug 08 11:53:14 2012 +0200
10.2 +++ b/Admin/isatest/settings/mac-poly64-M2 Wed Aug 08 12:10:22 2012 +0200
10.3 @@ -23,7 +23,6 @@
10.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
10.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
10.6
10.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
10.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
10.9
10.10 init_component "$HOME/contrib_devel/kodkodi-1.2.16"
11.1 --- a/Admin/isatest/settings/mac-poly64-M4 Wed Aug 08 11:53:14 2012 +0200
11.2 +++ b/Admin/isatest/settings/mac-poly64-M4 Wed Aug 08 12:10:22 2012 +0200
11.3 @@ -23,7 +23,6 @@
11.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
11.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
11.6
11.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
11.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
11.9
11.10 ISABELLE_FULL_TEST=true
12.1 --- a/Admin/isatest/settings/mac-poly64-M8 Wed Aug 08 11:53:14 2012 +0200
12.2 +++ b/Admin/isatest/settings/mac-poly64-M8 Wed Aug 08 12:10:22 2012 +0200
12.3 @@ -23,7 +23,6 @@
12.4 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
12.5 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
12.6
12.7 -ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
12.8 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
12.9
12.10 ISABELLE_FULL_TEST=true
13.1 --- a/etc/user-settings.sample Wed Aug 08 11:53:14 2012 +0200
13.2 +++ b/etc/user-settings.sample Wed Aug 08 12:10:22 2012 +0200
13.3 @@ -2,5 +2,5 @@
13.4 #
13.5 # Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
13.6
13.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
13.8 +ISABELLE_BUILD_OPTIONS="browser_info document=pdf"
13.9 ISABELLE_LOGIC=HOL