diff -r 515b6020cf5d -r c1b87ef4a1c3 etc/settings
--- a/etc/settings	Tue Jul 12 12:49:46 2005 +0200
+++ b/etc/settings	Tue Jul 12 17:56:03 2005 +0200
@@ -63,7 +63,7 @@
 ### Compilation options (cf. isatool usedir)
 ###
 
-ISABELLE_USEDIR_OPTIONS="-v true"
+ISABELLE_USEDIR_OPTIONS="-v true -i true"
 
 # Specifically for the HOL image
 HOL_USEDIR_OPTIONS=""