1.1 --- a/Admin/makedist	Tue Jul 21 16:41:12 1998 +0200
     1.2 +++ b/Admin/makedist	Tue Jul 21 16:43:38 1998 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  
     1.5  LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL Tools ZF"
     1.6  
     1.7 -CVSROOT=/isabelle/archive
     1.8 +CVSROOT=/usr/proj/isabelle-repository/archive
     1.9  DISTBASE=~/tmp/isadist
    1.10  
    1.11