Admin/Mercurial/Central/Mercurial
author wenzelm
Sat, 28 Nov 2020 16:25:29 +0100
changeset 72759 bd5ee3148132
parent 48779 71136069089d
permissions -rw-r--r--
more antiquotations (reverting 4df341249348);

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