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.
tuned description;
authorwenzelm
Mon, 04 Aug 2008 20:19:59 +0200
changeset 27726 d32ecc8c0817
parent 27725 6d133c2b681f
child 27727 2397e310b2cc
tuned description;
Admin/Mercurial/hgrc file | annotate | diff | comparison | revisions 
--- a/Admin/Mercurial/hgrc	Mon Aug 04 19:25:59 2008 +0200
+++ b/Admin/Mercurial/hgrc	Mon Aug 04 20:19:59 2008 +0200
@@ -6,6 +6,6 @@
 
 [web]
 style = isabelle
-description = Mercurial snapshot of the Isabelle CVS repository
+description = Snapshot of the official Isabelle CVS repository
 allow_archive = gz
 maxfiles = 50
isabelle