Admin/Mercurial/Central/Mercurial
author desharna
Thu, 17 Jun 2021 10:46:27 +0200
changeset 73857 a88427e55371
parent 48779 71136069089d
permissions -rw-r--r--
shortened long lines

This is the main Isabelle Mercurial repository.
All the meta data is in .hg/