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.
ISABELLE_USER for remote cvs access;
authorwenzelm
Mon, 02 Jan 2006 20:50:17 +0100
changeset 18539 35b9ed76b59a
parent 18538 88fe84d4d151
child 18540 7b6f57406b1b
ISABELLE_USER for remote cvs access;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Mon Jan 02 20:42:12 2006 +0100
+++ b/Admin/makedist	Mon Jan 02 20:50:17 2006 +0100
@@ -11,7 +11,7 @@
 LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Provers Pure Sequents TFL ZF"
 
 export CVSROOT=/usr/proj/isabelle-repository/archive
-[ ! -d "$CVSROOT" ] && CVSROOT="sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
+[ ! -d "$CVSROOT" ] && CVSROOT="${ISABELLE_USER:-$USER}@sunbroy2.informatik.tu-muenchen.de:$CVSROOT"
 
 umask 022
isabelle