--- a/etc/settings Fri Mar 01 16:59:48 2002 +0100
+++ b/etc/settings Fri Mar 01 18:12:16 2002 +0100
@@ -67,9 +67,6 @@
ISABELLE_USEDIR_OPTIONS=""
-# Default for precompiled distribution ...
-#ISABELLE_USEDIR_OPTIONS="-i true -d pdf -p 2"
-
###
### Document preparation