1.1 --- a/etc/settings	Tue Jul 12 12:49:46 2005 +0200
     1.2 +++ b/etc/settings	Tue Jul 12 17:56:03 2005 +0200
     1.3 @@ -63,7 +63,7 @@
     1.4  ### Compilation options (cf. isatool usedir)
     1.5  ###
     1.6  
     1.7 -ISABELLE_USEDIR_OPTIONS="-v true"
     1.8 +ISABELLE_USEDIR_OPTIONS="-v true -i true"
     1.9  
    1.10  # Specifically for the HOL image
    1.11  HOL_USEDIR_OPTIONS=""