Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Haskabelle is presently unmaintained;
authorwenzelm
Fri, 28 Oct 2016 16:59:25 +0200
changeset 64424 9ee2480d10b7
parent 64423 012b64bcd399
child 64425 b17acc1834e3
child 64426 cec5427b5c5f
Haskabelle is presently unmaintained;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Oct 28 15:47:18 2016 +0200
+++ b/Admin/components/main	Fri Oct 28 16:59:25 2016 +0200
@@ -3,7 +3,6 @@
 csdp-6.x
 cvc4-1.5pre-4
 e-1.8
-Haskabelle-2015
 isabelle_fonts-20160830
 jdk-8u112
 jedit_build-20161024
isabelle