# HG changeset patch
# User wenzelm
# Date 1255529331 -7200
# Node ID 5b827eadb64cbeb5f1d733e733c6501b1455a2c4
# Parent  0e9e13ac06d770f8d4c4b7c574024380376883ed
settings for parallel experimental Poly/ML 5.3;

diff -r 0e9e13ac06d7 -r 5b827eadb64c Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Wed Oct 14 13:56:56 2009 +0200
+++ b/Admin/isatest/settings/sun-poly	Wed Oct 14 16:08:51 2009 +0200
@@ -1,10 +1,10 @@
 # -*- shell-script -*- :mode=shellscript:
 
-  POLYML_HOME="/home/polyml/polyml-5.1"
-  ML_SYSTEM="polyml-5.1"
+  POLYML_HOME="/home/polyml/polyml-svn"
+  ML_SYSTEM="polyml-experimental"
   ML_PLATFORM="sparc-solaris"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 800"
+  ML_OPTIONS="-H 1000"
 
 ISABELLE_HOME_USER=/tmp/isabelle-sun-poly
 
@@ -23,6 +23,6 @@
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 4 -q 2"
 
-HOL_USEDIR_OPTIONS="-p 2" 
+HOL_USEDIR_OPTIONS="-p 0"