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

     2.1 --- a/etc/settings	Fri Mar 01 16:59:48 2002 +0100
     2.2 +++ b/etc/settings	Fri Mar 01 18:12:16 2002 +0100
     2.3 @@ -67,9 +67,6 @@
     2.4  
     2.5  ISABELLE_USEDIR_OPTIONS=""
     2.6  
     2.7 -# Default for precompiled distribution ...
     2.8 -#ISABELLE_USEDIR_OPTIONS="-i true -d pdf -p 2"
     2.9 -
    2.10  
    2.11  ###
    2.12  ### Document preparation