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.
rename Doc doc-src;
authorwenzelm
Wed, 02 Jul 2008 20:31:06 +0200
changeset 27447 0761334cd591
parent 27446 bac210482607
child 27448 28914fe628c8
rename Doc doc-src;
Admin/Mercurial/filemap file | annotate | diff | comparison | revisions 
--- a/Admin/Mercurial/filemap	Wed Jul 02 20:13:32 2008 +0200
+++ b/Admin/Mercurial/filemap	Wed Jul 02 20:31:06 2008 +0200
@@ -1,3 +1,4 @@
+rename Doc doc-src
 exclude Distribution/bin/Isabelle
 rename Distribution .
 rename CCL src/CCL
isabelle