Name Description Contact Last modified    
isabelle The Isabelle repository isabelle Tue, 04 Oct 2022 17:48:27 +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 Sun, 11 Sep 2022 14:28:04 +0200