Name Description Contact Last modified    
isabelle The Isabelle repository (ongoing development) unknown Sun, 12 Aug 2018 14:40:02 +0200
isabelle-release The Isabelle repository (release branch) unknown Sun, 12 Aug 2018 14:31:19 +0200
isabelle-website Isabelle website unknown Wed, 18 Jul 2018 14:57:40 +0200
sha1 SHA1 library for Poly/ML unknown Wed, 18 Jul 2018 15:01:36 +0200

mercurial