Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-V outline=/proof,/ML;
authorwenzelm
Tue, 16 Aug 2005 13:42:14 +0200
changeset 17048 9aa7f0a2bbf5
parent 17047 e2e2d75bb37b
child 17049 ee573216713a
-V outline=/proof,/ML;
etc/settings file | annotate | diff | comparison | revisions 
--- 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=""
isabelle