author kleing

Mon, 23 Jul 2007 01:17:57 +0200

changeset 23917 8be45ac3bb7b

parent 23916 0f8ad1044527

child 23918 a4abccde0929

etc/settings file | annotate | diff | comparison | revisions
     1.1 --- a/etc/settings	Sun Jul 22 23:33:57 2007 +0200
     1.2 +++ b/etc/settings	Mon Jul 23 01:17:57 2007 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4    "/opt/polyml/$ML_PLATFORM" \
     1.5    $POLY_HOME)
     1.6  ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
     1.7 -ML_OPTIONS="-H 80"
     1.8 +ML_OPTIONS="-H 500"
     1.9  ML_DBASE=""
    1.10  
    1.11  # Poly/ML 5.0