Isabelle
Unofficial git mirror of the Isabelle mercurial repository (including my local development branches). Unmaintained; uses legacy hashes produced by git-remote-hg.
Latest commits.
Builders behind this project.
