-V outline=/proof,/ML;
authorwenzelm
Tue Aug 16 13:42:14 2005 +0200 (2005-08-16)
changeset 170489aa7f0a2bbf5
parent 17047 e2e2d75bb37b
child 17049 ee573216713a
-V outline=/proof,/ML;
etc/settings
     1.1 --- a/etc/settings	Tue Aug 16 13:42:13 2005 +0200
     1.2 +++ b/etc/settings	Tue Aug 16 13:42:14 2005 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4    $POLY_HOME)
     1.5  ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
     1.6  ML_OPTIONS="-H 80"
     1.7 +ML_DBASE=""
     1.8  
     1.9  # Standard ML of New Jersey 110 or later
    1.10  #SMLNJ_CYGWIN_RUNTIME=1
    1.11 @@ -47,7 +48,7 @@
    1.12  ### Compilation options (cf. isatool usedir)
    1.13  ###
    1.14  
    1.15 -ISABELLE_USEDIR_OPTIONS="-v true"
    1.16 +ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML"
    1.17  
    1.18  # Specifically for the HOL image
    1.19  HOL_USEDIR_OPTIONS=""