# HG changeset patch
# User wenzelm
# Date 901032218 -7200
# Node ID cca9a908c27090152bbbffb6e976f85c48a75a58
# Parent  33fbffd06c123241f6fdaede49d682e21bd5fc81
fixed CVSROOT;

diff -r 33fbffd06c12 -r cca9a908c270 Admin/makedist
--- 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