Admin/Mercurial/Central/Mercurial
author wenzelm
Mon, 08 Nov 2021 20:15:04 +0100
changeset 74735 0580ae467ecb
parent 48779 71136069089d
permissions -rw-r--r--
tuned;

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