reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);

--- a/Admin/isatest/isatest-makeall	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/isatest-makeall	Mon Oct 26 20:45:24 2009 +0100
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 6"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
 

--- a/Admin/isatest/isatest-makedist	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/isatest-makedist	Mon Oct 26 20:45:24 2009 +0100
@@ -91,7 +91,7 @@
 
 ## spawn test runs
 
-#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
+$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"

--- a/Admin/isatest/settings/sun-poly	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/settings/sun-poly	Mon Oct 26 20:45:24 2009 +0100
@@ -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 -t true -M 1"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 0"