Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Mon, 22 Apr 2019 11:50:02 +0200
isabelle-release The Isabelle repository (release branch) unknown Wed, 15 Aug 2018 16:03:24 +0200
isabelle-website Isabelle website unknown Wed, 10 Apr 2019 16:40:04 +0200
sha1 SHA1 library for Poly/ML unknown Wed, 18 Jul 2018 15:01:36 +0200
afp-devel The Archive of Formal Proofs (ongoing development) unknown Wed, 24 Apr 2019 15:30:19 +0200
afp-2018 The Archive of Formal Proofs (release branch) unknown Mon, 08 Apr 2019 13:40:22 +0200

mercurial