# HG changeset patch
# User noschinl
# Date 1358415362 -3600
# Node ID 287c79b9550c7bbe9e76bebcc8302356e4039d6c
# Parent  1d5e1ac6693c2dcabc52beeffdbc7ad250614a0e
register Haskabelle as a component

diff -r 1d5e1ac6693c -r 287c79b9550c Admin/components/main
--- a/Admin/components/main	Wed Jan 16 22:18:46 2013 +0100
+++ b/Admin/components/main	Thu Jan 17 10:36:02 2013 +0100
@@ -2,6 +2,7 @@
 cvc3-2.4.1
 e-1.6
 exec_process-1.0.3
+Haskabelle-2013
 jdk-7u11
 jedit_build-20130104
 jfreechart-1.0.14