isabelle: Admin/Mercurial/hgrc@d32ecc8c0817 (annotated)

27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	1	[extensions]
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	2	hgext.convert =
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	3
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	4	[convert]
27481 0e47e4a68709 cvsps: back to non-verbose mode; wenzelm parents: 27479 diff changeset	5	cvsps = /home/isabelle/html-data/isabelle-repos/cvsps-2.1-patched/cvsps -A -u --cvs-direct --norc -b HEAD
27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	6
f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	7	[web]
27510 a55484e65b65 style = isabelle (based on gitweb); wenzelm parents: 27481 diff changeset	8	style = isabelle
27726 d32ecc8c0817 tuned description; wenzelm parents: 27512 diff changeset	9	description = Snapshot of the official Isabelle CVS repository
27458 f1976a293968 hgrc for conversion and web service; wenzelm parents: diff changeset	10	allow_archive = gz
27479 9bcd25618d0c maxfiles = 50; wenzelm parents: 27473 diff changeset	11	maxfiles = 50