Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 17005 69c415d44883
parent 17001 51ff2bc32774
child 17048 9aa7f0a2bbf5 
--- 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