--- a/etc/settings Sun Jul 22 23:33:57 2007 +0200
+++ b/etc/settings Mon Jul 23 01:17:57 2007 +0200
@@ -27,7 +27,7 @@
"/opt/polyml/$ML_PLATFORM" \
$POLY_HOME)
ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
-ML_OPTIONS="-H 80"
+ML_OPTIONS="-H 500"
ML_DBASE=""
# Poly/ML 5.0