Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development). Phabricator view: https://isabelle-dev.sketis.net/source/isabelle unknown Fri, 17 Jan 2020 22:26:21 +0100
isabelle-release The Isabelle repository (release branch) unknown Sat, 01 Jun 2019 10:51:35 +0100
isabelle-website unknown unknown Sun, 01 Dec 2019 21:29:40 +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 Fri, 10 Jan 2020 11:40:05 +0100
afp-2019 The Archive of Formal Proofs (release branch) unknown Fri, 17 Jan 2020 18:50:10 +0100
afp-2018 The Archive of Formal Proofs (old release branch) unknown Tue, 04 Jun 2019 12:40:19 +0100

mercurial