| changeset 33930 | 6a973bd43949 |
| parent 32080 | 0a8b5dfee5a5 |
| child 34238 | b28be884edda |
--- a/Admin/isatest/settings/at-poly-5.1-para-e Mon Nov 30 23:55:19 2009 +0100 +++ b/Admin/isatest/settings/at-poly-5.1-para-e Wed Dec 02 12:04:07 2009 +0100 @@ -22,6 +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 -M 20" +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 10" HOL_USEDIR_OPTIONS="-p 2 -q 0"