Name Description Contact Last modified    
isabelle The Isabelle repository isabelle Mon, 26 Oct 2020 12:45:21 +0100
Old_HOL Old Isabelle/HOL (removed from main repos in 1996) unknown Thu, 23 Jul 2009 16:03:20 +0100
testboard "Misc Mercurial repositories" unknown Sun, 25 Oct 2020 23:46:34 +0100