Admin/makedist
changeset 7993 4d176363e39a
parent 7859 c67eb6ed6a87
child 8059 9128e934bf51
--- 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