Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Sun, 16 Jun 2019 21:10:03 +0200
isabelle-release The Isabelle repository (release branch) unknown Sat, 01 Jun 2019 11:51:35 +0200
isabelle-website Isabelle website unknown Sat, 01 Jun 2019 13:30: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, 19 Jun 2019 11:00:22 +0200
afp-2019 The Archive of Formal Proofs (release branch) unknown Mon, 17 Jun 2019 16:20:24 +0200
afp-2018 The Archive of Formal Proofs (old release branch) unknown Tue, 04 Jun 2019 13:40:19 +0200

mercurial