changeset 17048 | 9aa7f0a2bbf5 |
parent 17005 | 69c415d44883 |
child 17119 | b241ba3eb4db |
--- a/etc/settings Tue Aug 16 13:42:13 2005 +0200 +++ b/etc/settings Tue Aug 16 13:42:14 2005 +0200 @@ -28,6 +28,7 @@ $POLY_HOME) ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version") ML_OPTIONS="-H 80" +ML_DBASE="" # Standard ML of New Jersey 110 or later #SMLNJ_CYGWIN_RUNTIME=1 @@ -47,7 +48,7 @@ ### Compilation options (cf. isatool usedir) ### -ISABELLE_USEDIR_OPTIONS="-v true" +ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML" # Specifically for the HOL image HOL_USEDIR_OPTIONS=""