# HG changeset patch
# User wenzelm
# Date 941560104 -3600
# Node ID 4d176363e39adbd8769d321e1c7afceb18680604
# Parent  6f49fe89bfe1d637bd4d76f65eaaf95156258ebe
tuned;

diff -r 6f49fe89bfe1 -r 4d176363e39a Admin/index.html
--- a/Admin/index.html	Mon Nov 01 23:29:27 1999 +0100
+++ b/Admin/index.html	Tue Nov 02 17:28:24 1999 +0100
@@ -45,7 +45,7 @@
 <li> <a href="{ISABELLE}/README.html">README</a>
 <li> <a href="{ISABELLE}.tar.gz">main archive</a> ({PACKED_SIZE}K)
 including all documentation in dvi format
-<li> <a href="{ISABELLE}_pdf.tar.gz">documentation in pdf format</a>
+<li> <a href="{ISABELLE}_pdf.tar.gz">documentation</a> in pdf format
 ({PACKED_SIZE_PDF}K)
 <li> all files <a href="{ISABELLE}">unpacked</a> ({UNPACKED_SIZE}K)
 
diff -r 6f49fe89bfe1 -r 4d176363e39a Admin/makedist
--- a/Admin/makedist	Mon Nov 01 23:29:27 1999 +0100
+++ b/Admin/makedist	Tue Nov 02 17:28:24 1999 +0100
@@ -7,7 +7,7 @@
 
 ## global settings
 
-LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
+LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 CVSROOT=/usr/proj/isabelle-repository/archive
 DISTBASE=~/tmp/isadist