changeset 25500 | 7a284dc85326 |
parent 25347 | 297e2520ee82 |
child 25627 | 7726fbf5f81f |
1.1 --- a/etc/settings Wed Nov 28 18:39:53 2007 +0100 1.2 +++ b/etc/settings Wed Nov 28 19:54:50 2007 +0100 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 500" 1.8 +ML_OPTIONS="-H 200" 1.9 ML_DBASE="" 1.10 1.11 # Poly/ML 5.1