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