1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/Mercurial/Central/Mercurial	Sun Aug 12 17:39:06 2012 +0200
     1.3 @@ -0,0 +1,2 @@
     1.4 +This is the main Isabelle Mercurial repository.
     1.5 +All the meta data is in .hg/

     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/Admin/Mercurial/Central/README	Sun Aug 12 17:39:06 2012 +0200
     2.3 @@ -0,0 +1,27 @@
     2.4 +Notes on central Isabelle repository
     2.5 +====================================
     2.6 +
     2.7 +* direct file-system access (locally or remotely via ssh)
     2.8 +
     2.9 +* permissions via dedicated Unix group "isabelle"
    2.10 +
    2.11 +* See http://mercurial.selenic.com/wiki/RequiresFile on physical format, with
    2.12 +  conservative requirements for Mercurial 1.3 as lowest common denominator:
    2.13 +
    2.14 +    revlogv1
    2.15 +    store
    2.16 +    fncache
    2.17 +
    2.18 +* See http://mercurial.selenic.com/wiki/MultipleCommitters for old-fashioned
    2.19 +  CVS-like multiple committers configuration, "The filesystem method":
    2.20 +
    2.21 +    hg --config format.dotencode=0 init isabelle-clone
    2.22 +    cd isabelle-clone
    2.23 +    chgrp -R isabelle .hg
    2.24 +    chmod g+s .hg .hg/store
    2.25 +    mkdir .hg/strip-backup   ## Not to be used under normal circumstances!
    2.26 +    chmod -R g+w .hg
    2.27 +
    2.28 +  Now isabelle-clone is ready for push of repository data (without making
    2.29 +  a working directory).
    2.30 +

     3.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.2 +++ b/Admin/Mercurial/Central/hgrc	Sun Aug 12 17:39:06 2012 +0200
     3.3 @@ -0,0 +1,7 @@
     3.4 +[web]
     3.5 +style = isabelle
     3.6 +contact = isabelle
     3.7 +description = The Isabelle repository
     3.8 +allow_archive = gz
     3.9 +maxfiles = 50
    3.10 +encoding = UTF-8