[extensions] hgext.convert = [convert] cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD [web] style = isabelle description = Mercurial snapshot of the Isabelle CVS repository allow_archive = gz maxfiles = 50