From 10fbe6915c40f99f04d3e2fd1eabb2f4678768ad Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Wed, 21 Mar 2012 13:45:08 +0100
Subject: [PATCH] removed obsolete feature
---
de.prob.repository/category.xml | 6 ++----
1 file changed, 2 insertions(+), 4 deletions(-)
diff --git a/de.prob.repository/category.xml b/de.prob.repository/category.xml
index 17284372..8e9705d9 100644
--- a/de.prob.repository/category.xml
+++ b/de.prob.repository/category.xml
@@ -1,12 +1,10 @@
<?xml version="1.0" encoding="UTF-8"?>
<site>
- <feature url="features/de.prob.feature_1.0.0.qualifier.jar" id="de.prob.feature" version="1.0.0.qualifier">
- <category name="de.prob.category"/>
- </feature>
+
<feature url="features/de.prob2.feature_2.3.0.qualifier.jar" id="de.prob2.feature" version="2.3.0.qualifier">
<category name="de.prob2.category"/>
</feature>
- <category-def name="de.prob.category" label="Prob Category">
+ <category-def name="de.prob.category" label="ProB">
<description>
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
--
GitLab