--- a/Admin/isatest/settings/afp-poly Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/afp-poly Wed Aug 08 12:10:22 2012 +0200
@@ -27,7 +27,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
init_component "$CONTRIB/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-poly Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/at-poly Wed Aug 08 12:10:22 2012 +0200
@@ -22,7 +22,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-poly-e Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/at-poly-e Wed Aug 08 12:10:22 2012 +0200
@@ -22,7 +22,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-poly-test Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test Wed Aug 08 12:10:22 2012 +0200
@@ -22,7 +22,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
ISABELLE_GHC="/usr/bin/ghc"
--- a/Admin/isatest/settings/at-sml-dev-e Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/at-sml-dev-e Wed Aug 08 12:10:22 2012 +0200
@@ -21,6 +21,5 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
--- a/Admin/isatest/settings/at64-poly Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/at64-poly Wed Aug 08 12:10:22 2012 +0200
@@ -22,7 +22,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly-M2 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M2 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly-M4 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M4 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly-M8 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly64-M2 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M2 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly64-M4 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
ISABELLE_FULL_TEST=true
--- a/Admin/isatest/settings/mac-poly64-M8 Wed Aug 08 11:53:14 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M8 Wed Aug 08 12:10:22 2012 +0200
@@ -23,7 +23,6 @@
ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
-ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
ISABELLE_FULL_TEST=true
--- a/etc/user-settings.sample Wed Aug 08 11:53:14 2012 +0200
+++ b/etc/user-settings.sample Wed Aug 08 12:10:22 2012 +0200
@@ -2,5 +2,5 @@
#
# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
+ISABELLE_BUILD_OPTIONS="browser_info document=pdf"
ISABELLE_LOGIC=HOL