Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Thu, 21 Feb 2019 14:50:03 +0100
isabelle-release The Isabelle repository (release branch) unknown Wed, 15 Aug 2018 15:03:24 +0100
isabelle-website Isabelle website unknown Sun, 28 Oct 2018 19:00:06 +0100
sha1 SHA1 library for Poly/ML unknown Wed, 18 Jul 2018 14:01:36 +0100
afp-devel The Archive of Formal Proofs (ongoing development) unknown Fri, 22 Feb 2019 11:50:12 +0100
afp-2018 The Archive of Formal Proofs (release branch) unknown Fri, 22 Feb 2019 11:00:17 +0100

mercurial