--- a/etc/settings Wed Oct 06 18:50:51 1999 +0200 +++ b/etc/settings Wed Oct 06 21:32:52 1999 +0200 @@ -48,6 +48,7 @@ ### ISABELLE_USEDIR_OPTIONS="-i false" +#ISABELLE_USEDIR_OPTIONS="-i true -d pdf" ###