1.1 --- a/Admin/index.html	Mon Nov 01 23:29:27 1999 +0100
     1.2 +++ b/Admin/index.html	Tue Nov 02 17:28:24 1999 +0100
     1.3 @@ -45,7 +45,7 @@
     1.4  <li> <a href="{ISABELLE}/README.html">README</a>
     1.5  <li> <a href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K)
     1.6  including all documentation in dvi format
     1.7 -<li> <a href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a>
     1.8 +<li> <a href="{ISABELLE}_pdf.tar.gz">documentation</a> in pdf format
     1.9  ({PACKED_SIZE_PDF}K)
    1.10  <li> all files <a href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K)
    1.11  

     2.1 --- a/Admin/makedist	Mon Nov 01 23:29:27 1999 +0100
     2.2 +++ b/Admin/makedist	Tue Nov 02 17:28:24 1999 +0100
     2.3 @@ -7,7 +7,7 @@
     2.4  
     2.5  ## global settings
     2.6  
     2.7 -LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
     2.8 +LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
     2.9  
    2.10  CVSROOT=/usr/proj/isabelle-repository/archive
    2.11  DISTBASE=~/tmp/isadist