# 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