--- 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=""