Admin/makedist
changeset 5171 cca9a908c270
parent 5169 c677baeac0f7
child 5172 0af867c248ee
--- a/Admin/makedist	Tue Jul 21 16:41:12 1998 +0200
+++ b/Admin/makedist	Tue Jul 21 16:43:38 1998 +0200
@@ -9,7 +9,7 @@
 
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
 
-CVSROOT=/isabelle/archive
+CVSROOT=/usr/proj/isabelle-repository/archive
 DISTBASE=~/tmp/isadist