# HG changeset patch
# User wenzelm
# Date 1259751847 -3600
# Node ID 6a973bd4394996c31f638e5c59ea6bb953335c9a
# Parent  e7685297e9daf23c2925725a7a8778d4e6db627b
slightly less ambitious settings, to avoid potential out-of-memory problem;

diff -r e7685297e9da -r 6a973bd43949 Admin/isatest/settings/at-poly-5.1-para-e
--- 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"