Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed CVSROOT;
authorwenzelm
Tue, 21 Jul 1998 16:43:38 +0200
changeset 5171 cca9a908c270
parent 5170 33fbffd06c12
child 5172 0af867c248ee
fixed CVSROOT;
Admin/makedist file | annotate | diff | comparison | revisions 
--- 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
isabelle