Haskabelle is presently unmaintained;
authorwenzelm
Fri Oct 28 16:59:25 2016 +0200 (2016-10-28)
changeset 644249ee2480d10b7
parent 64423 012b64bcd399
child 64425 b17acc1834e3
child 64426 cec5427b5c5f
Haskabelle is presently unmaintained;
Admin/components/main
     1.1 --- a/Admin/components/main	Fri Oct 28 15:47:18 2016 +0200
     1.2 +++ b/Admin/components/main	Fri Oct 28 16:59:25 2016 +0200
     1.3 @@ -3,7 +3,6 @@
     1.4  csdp-6.x
     1.5  cvc4-1.5pre-4
     1.6  e-1.8
     1.7 -Haskabelle-2015
     1.8  isabelle_fonts-20160830
     1.9  jdk-8u112
    1.10  jedit_build-20161024