Name Description Contact Last modified    
isabelle The Isabelle repository isabelle Mon, 18 Oct 2021 19:07:41 +0200
Old_HOL Old Isabelle/HOL (removed from main repos in 1996) unknown Thu, 23 Jul 2009 17:03:20 +0200
testboard "Misc Mercurial repositories" unknown Mon, 18 Oct 2021 11:16:48 +0200