Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned ML_OPTIONS;
authorwenzelm
Tue, 02 Aug 2005 21:29:06 +0200
changeset 17005 69c415d44883
parent 17004 6a0d8ecf65f1
child 17006 cffca870816a
tuned ML_OPTIONS;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Aug 02 19:47:14 2005 +0200
+++ b/etc/settings	Tue Aug 02 21:29:06 2005 +0200
@@ -27,7 +27,7 @@
   "/opt/polyml/$ML_PLATFORM" \
   $POLY_HOME)
 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
-ML_OPTIONS="-h 50000"
+ML_OPTIONS="-H 80"
 
 # Standard ML of New Jersey 110 or later
 #SMLNJ_CYGWIN_RUNTIME=1
isabelle