# HG changeset patch
# User wenzelm
# Date 1248252505 -7200
# Node ID eff525e07a31a76c611154661d5f8588dbead58c
# Parent  ff3677972e3f002a25754c25c8342c7d9888a8b6
less ambitious settings;

diff -r ff3677972e3f -r eff525e07a31 Admin/isatest/settings/mac-poly-M4
--- a/Admin/isatest/settings/mac-poly-M4	Wed Jul 22 10:46:35 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Wed Jul 22 10:48:25 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 4"
 
-HOL_USEDIR_OPTIONS="-p 2 -q 1"
+HOL_USEDIR_OPTIONS="-p 2 -q 0"
diff -r ff3677972e3f -r eff525e07a31 Admin/isatest/settings/mac-poly-M8
--- a/Admin/isatest/settings/mac-poly-M8	Wed Jul 22 10:46:35 2009 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Wed Jul 22 10:48:25 2009 +0200
@@ -25,4 +25,4 @@
 
 ISABELLE_USEDIR_OPTIONS="-i false -d false -M 8"
 
-HOL_USEDIR_OPTIONS="-p 2 -q 1"
+HOL_USEDIR_OPTIONS="-p 2 -q 0"