--- a/Admin/Mercurial/hgrc Mon Dec 01 13:43:32 2008 +0100
+++ b/Admin/Mercurial/hgrc Mon Dec 01 14:41:13 2008 +0100
@@ -6,6 +6,6 @@
[web]
style = isabelle
-description = Snapshot of the official Isabelle CVS repository
+description = Snapshot of the old Isabelle CVS
allow_archive = gz
maxfiles = 50