setting -H 2000 and no documents for higher performance;
authorwenzelm
Wed Jan 02 21:03:49 2008 +0100 (2008-01-02 ago)
changeset 2579063701321e40b
parent 25789 c0506ac5b6b4
child 25791 a918133cd8a3
setting -H 2000 and no documents for higher performance;
Admin/isatest/settings/at-mac-poly-5.1-para
     1.1 --- a/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Jan 02 20:23:49 2008 +0100
     1.2 +++ b/Admin/isatest/settings/at-mac-poly-5.1-para	Wed Jan 02 21:03:49 2008 +0100
     1.3 @@ -4,7 +4,7 @@
     1.4    ML_SYSTEM="polyml-5.1"
     1.5    ML_PLATFORM="x86-darwin"
     1.6    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     1.7 -  ML_OPTIONS="-H 500"
     1.8 +  ML_OPTIONS="-H 2000"
     1.9  
    1.10  
    1.11  ISABELLE_HOME_USER=~/isabelle-at-mac-poly-e
    1.12 @@ -29,6 +29,6 @@
    1.13    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.14  fi
    1.15  
    1.16 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -g false -M 4"
    1.17 +ISABELLE_USEDIR_OPTIONS="-v true -M 4"
    1.18  
    1.19  HOL_USEDIR_OPTIONS="-p 2"