# HG changeset patch
# User wenzelm
# Date 1344420622 -7200
# Node ID 093eb27374bb475dc8ca7d7be694500c5cfd4151
# Parent  f6bee47063dc320ba9e99d856954b5c299857371
eliminated obsolete ISABELLE_USEDIR_OPTIONS;

diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/afp-poly
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/at-poly
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/at-poly-e
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/at-poly-test
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/at-sml-dev-e
--- 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"
 
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/at64-poly
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly-M2
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly-M4
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly-M8
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly64-M2
--- 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"
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly64-M4
--- 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
diff -r f6bee47063dc -r 093eb27374bb Admin/isatest/settings/mac-poly64-M8
--- 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
diff -r f6bee47063dc -r 093eb27374bb etc/user-settings.sample
--- 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