Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Sat, 20 Oct 2018 15:50:02 +0200
isabelle-release The Isabelle repository (release branch) unknown Wed, 15 Aug 2018 16:03:24 +0200
isabelle-website Isabelle website unknown Mon, 08 Oct 2018 11:50:04 +0200
sha1 SHA1 library for Poly/ML unknown Wed, 18 Jul 2018 15:01:36 +0200

mercurial