Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Sun, 15 Sep 2019 17:50:03 +0200
isabelle-release The Isabelle repository (release branch) unknown Sat, 01 Jun 2019 11:51:35 +0200
isabelle-website Isabelle website unknown Mon, 29 Jul 2019 17:00: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 Sun, 15 Sep 2019 15:50:11 +0200
afp-2019 The Archive of Formal Proofs (release branch) unknown Thu, 12 Sep 2019 01:10:23 +0200
afp-2018 The Archive of Formal Proofs (old release branch) unknown Tue, 04 Jun 2019 13:40:19 +0200

mercurial