Admin/Mercurial/Central/hgrc
author wenzelm
Thu, 16 Sep 2021 18:59:59 +0200
changeset 74315 30a0f5879d90
parent 48779 71136069089d
permissions -rw-r--r--
clarified operations: follow Isabelle/ML more closely;

[web]
style = isabelle
contact = isabelle
description = The Isabelle repository
allow_archive = gz
maxfiles = 50
encoding = UTF-8