# HG changeset patch
# User wenzelm
# Date 1477666765 -7200
# Node ID 9ee2480d10b7404683aa7f4c3a30d44cbb6a21b9
# Parent  012b64bcd3996dedc6bc786bb3d502791901329c
Haskabelle is presently unmaintained;

diff -r 012b64bcd399 -r 9ee2480d10b7 Admin/components/main
--- 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