# HG changeset patch
# User wenzelm
# Date 1015002736 -3600
# Node ID 03b9afa801df47fe37aaeaae96b56f04decc6fa0
# Parent  80dec7322a8c7c175de93e40e7d5ac74ca363c17
tuned;

diff -r 80dec7322a8c -r 03b9afa801df Admin/page/dist-content/packages.content
--- 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", "../..") -->
 
diff -r 80dec7322a8c -r 03b9afa801df etc/settings
--- 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