# HG changeset patch
# User wenzelm
# Date 1124192534 -7200
# Node ID 9aa7f0a2bbf53299e6a11996cdac18ef1cb013e9
# Parent  e2e2d75bb37b79e5a16725c0fd8d58ad7d578308
-V outline=/proof,/ML;

diff -r e2e2d75bb37b -r 9aa7f0a2bbf5 etc/settings
--- 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=""