--- a/Admin/page/dist-content/packages.content Fri Mar 01 16:59:48 2002 +0100
+++ b/Admin/page/dist-content/packages.content Fri Mar 01 18:12:16 2002 +0100
@@ -44,7 +44,7 @@
<table border="0" cellspacing="5" cellpadding="4" width="520">
<!-- _GP_ downloadhead("Isabelle") -->
-<!-- _GP_ download(1, "Main sources and documentation", distname . ".tar.gz", "../..") -->
+<!-- _GP_ download(1, "Sources and documentation", distname . ".tar.gz", "../..") -->
<!-- _GP_ download(1, "Documentation in PDF", distname . "_pdf.tar.gz", "../..") -->
<!-- _GP_ download(1, "Theory library in PDF and HTML", distname . "_library.tar.gz", "../..") -->
--- 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