1.1 --- a/Admin/isatest/settings/afp-poly	Tue Jul 31 20:09:30 2012 +0200
     1.2 +++ b/Admin/isatest/settings/afp-poly	Tue Jul 31 22:00:19 2012 +0200
     1.3 @@ -28,5 +28,6 @@
     1.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     1.5  
     1.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
     1.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
     1.8  
     1.9  init_component "$CONTRIB/kodkodi-1.2.16"

     2.1 --- a/Admin/isatest/settings/at-poly	Tue Jul 31 20:09:30 2012 +0200
     2.2 +++ b/Admin/isatest/settings/at-poly	Tue Jul 31 22:00:19 2012 +0200
     2.3 @@ -23,6 +23,7 @@
     2.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     2.5  
     2.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     2.7 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
     2.8  
     2.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    2.10  

     3.1 --- a/Admin/isatest/settings/at-poly-e	Tue Jul 31 20:09:30 2012 +0200
     3.2 +++ b/Admin/isatest/settings/at-poly-e	Tue Jul 31 22:00:19 2012 +0200
     3.3 @@ -23,5 +23,6 @@
     3.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     3.5  
     3.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     3.7 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
     3.8  
     3.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"

     4.1 --- a/Admin/isatest/settings/at-poly-test	Tue Jul 31 20:09:30 2012 +0200
     4.2 +++ b/Admin/isatest/settings/at-poly-test	Tue Jul 31 22:00:19 2012 +0200
     4.3 @@ -23,6 +23,7 @@
     4.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     4.5  
     4.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
     4.7 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
     4.8  
     4.9  ISABELLE_GHC="/usr/bin/ghc"
    4.10  ISABELLE_OCAML="/usr/bin/ocaml"

     5.1 --- a/Admin/isatest/settings/at-sml-dev-e	Tue Jul 31 20:09:30 2012 +0200
     5.2 +++ b/Admin/isatest/settings/at-sml-dev-e	Tue Jul 31 22:00:19 2012 +0200
     5.3 @@ -23,4 +23,5 @@
     5.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     5.5  
     5.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
     5.7 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
     5.8  

     6.1 --- a/Admin/isatest/settings/at64-poly	Tue Jul 31 20:09:30 2012 +0200
     6.2 +++ b/Admin/isatest/settings/at64-poly	Tue Jul 31 22:00:19 2012 +0200
     6.3 @@ -23,5 +23,6 @@
     6.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     6.5  
     6.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
     6.7 +ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
     6.8  
     6.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"

     7.1 --- a/Admin/isatest/settings/mac-poly-M2	Tue Jul 31 20:09:30 2012 +0200
     7.2 +++ b/Admin/isatest/settings/mac-poly-M2	Tue Jul 31 22:00:19 2012 +0200
     7.3 @@ -24,6 +24,7 @@
     7.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     7.5  
     7.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
     7.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
     7.8  
     7.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    7.10  

     8.1 --- a/Admin/isatest/settings/mac-poly-M4	Tue Jul 31 20:09:30 2012 +0200
     8.2 +++ b/Admin/isatest/settings/mac-poly-M4	Tue Jul 31 22:00:19 2012 +0200
     8.3 @@ -24,5 +24,6 @@
     8.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     8.5  
     8.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
     8.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
     8.8  
     8.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"

     9.1 --- a/Admin/isatest/settings/mac-poly-M8	Tue Jul 31 20:09:30 2012 +0200
     9.2 +++ b/Admin/isatest/settings/mac-poly-M8	Tue Jul 31 22:00:19 2012 +0200
     9.3 @@ -24,6 +24,7 @@
     9.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     9.5  
     9.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
     9.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
     9.8  
     9.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    9.10  

    10.1 --- a/Admin/isatest/settings/mac-poly64-M2	Tue Jul 31 20:09:30 2012 +0200
    10.2 +++ b/Admin/isatest/settings/mac-poly64-M2	Tue Jul 31 22:00:19 2012 +0200
    10.3 @@ -24,6 +24,7 @@
    10.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    10.5  
    10.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 2 -q 2"
    10.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
    10.8  
    10.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"
   10.10  

    11.1 --- a/Admin/isatest/settings/mac-poly64-M4	Tue Jul 31 20:09:30 2012 +0200
    11.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Tue Jul 31 22:00:19 2012 +0200
    11.3 @@ -24,5 +24,6 @@
    11.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    11.5  
    11.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 4 -q 2"
    11.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
    11.8  
    11.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"

    12.1 --- a/Admin/isatest/settings/mac-poly64-M8	Tue Jul 31 20:09:30 2012 +0200
    12.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Tue Jul 31 22:00:19 2012 +0200
    12.3 @@ -24,6 +24,7 @@
    12.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    12.5  
    12.6  ISABELLE_USEDIR_OPTIONS="-i false -d false -t true -M 8 -q 2"
    12.7 +ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
    12.8  
    12.9  init_component "$HOME/contrib_devel/kodkodi-1.2.16"
   12.10