# HG changeset patch
# User wenzelm
# Date 1180610322 -7200
# Node ID ddc5800b699f672423d859d15687bf61449467df
# Parent  ef3fa138610219fc6034022ce06e4c01315e64c2
added src/Tools;
moved TFL files to canonical place;

diff -r ef3fa1386102 -r ddc5800b699f Admin/makedist
--- a/Admin/makedist	Thu May 31 13:00:56 2007 +0200
+++ b/Admin/makedist	Thu May 31 13:18:42 2007 +0200
@@ -8,7 +8,7 @@
 ## global settings
 
 DISTPREFIX=${DISTPREFIX:-~/tmp/isadist}
-LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
+SRCS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents Tools ZF"
 
 export CVSROOT=/usr/proj/isabelle-repository/archive
 [ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
@@ -168,7 +168,7 @@
 rm -rf Doc Tools
 
 mkdir src contrib
-mv $LOGICS src
+mv $SRCS src
 
 mv Distribution/* .
 rmdir Distribution