--- a/etc/settings Thu Aug 27 13:52:46 1998 +0200 +++ b/etc/settings Thu Aug 27 13:53:41 1998 +0200 @@ -47,7 +47,7 @@ ### Compilation options ### -ISABELLE_USEDIR_OPTIONS="" +ISABELLE_USEDIR_OPTIONS="-i false" ###