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

mercurial