slightly less ambitious settings, to avoid potential out-of-memory problem; Isabelle2009-1
authorwenzelm
Wed Dec 02 12:04:07 2009 +0100 (2009-12-02)
changeset 339306a973bd43949
parent 33929 e7685297e9da
child 33931 832169728276
child 33954 1bc3b688548c
slightly less ambitious settings, to avoid potential out-of-memory problem;
Admin/isatest/settings/at-poly-5.1-para-e
     1.1 --- a/Admin/isatest/settings/at-poly-5.1-para-e	Mon Nov 30 23:55:19 2009 +0100
     1.2 +++ b/Admin/isatest/settings/at-poly-5.1-para-e	Wed Dec 02 12:04:07 2009 +0100
     1.3 @@ -22,6 +22,6 @@
     1.4  ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
     1.5  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     1.6  
     1.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 20"
     1.8 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 10"
     1.9  
    1.10  HOL_USEDIR_OPTIONS="-p 2 -q 0"