Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development). Phabricator view: https://isabelle-dev.sketis.net/source/isabelle unknown Sun, 20 Oct 2019 21:55:21 +0200
isabelle-release The Isabelle repository (release branch) unknown Sat, 01 Jun 2019 11:51:35 +0200
isabelle-website unknown unknown Thu, 26 Sep 2019 14:14:28 +0200
Old_HOL Old Isabelle/HOL (removed from main repos in 1996) unknown Thu, 26 Sep 2019 16:14:11 +0200
sha1 SHA1 library for Poly/ML unknown Wed, 18 Jul 2018 15:01:36 +0200
yxml Quick and easy exchange of ML values via XML/YXML unknown Tue, 01 Oct 2019 14:15:39 +0200
afp-devel The Archive of Formal Proofs (ongoing development). Phabricator view: https://isabelle-dev.sketis.net/source/afp-devel unknown Sun, 20 Oct 2019 03:56:44 +0200
afp-2019 The Archive of Formal Proofs (release branch) unknown Mon, 23 Sep 2019 16:00:33 +0200
afp-2018 The Archive of Formal Proofs (old release branch) unknown Tue, 04 Jun 2019 13:40:19 +0200

mercurial