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.
only show trunk in Changelog (kleing)
authorisatest
Thu, 22 Sep 2005 00:30:31 +0200
changeset 17578 e07af5fad73f
parent 17577 e87bf1d8f17a
child 17579 830207835ab5
only show trunk in Changelog (kleing)
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Wed Sep 21 22:01:09 2005 +0200
+++ b/Admin/isatest-makedist	Thu Sep 22 00:30:31 2005 +0200
@@ -14,7 +14,7 @@
 MAKEDIST=$HOME/bin/makedist
 MAKEALL=$HOME/bin/isatest-makeall
 TAR=gtar
-CVS2CL=$HOME/bin/cvs2cl
+CVS2CL="$HOME/bin/cvs2cl --follow-only TRUNK"
 
 SSH="ssh -f"
isabelle