Skip to content
Snippets Groups Projects
Commit 1ecd8570 authored by Jens Bendisposto's avatar Jens Bendisposto
Browse files

removed auto-generated file category.xml

parent 31aa44d0
No related branches found
No related tags found
No related merge requests found
...@@ -8,3 +8,4 @@ pom.xml ...@@ -8,3 +8,4 @@ pom.xml
updatesite/ updatesite/
de.prob.core/prob/ de.prob.core/prob/
build/ build/
de.prob.repository/category.xml
\ No newline at end of file
<?xml version="1.0" encoding="UTF-8"?>
<site>
<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">
<description>
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors.
Part of the research and development was conducted within the
EPSRC funded projects ABCD and iMoc, and within the EU funded
project Rodin.
Development is continued under the EU funded project Deploy and
the DFG project Gepavas.
ProB has been successfully used on various industrial specifications
and is now being used within Siemens.
</description>
</category-def>
<category-def name="de.prob2.category" label="ProB Rodin Plugin">
<description>
ProB is an animator and model checker for the B-Method. It allows
fully automatic animation of many B specifications, and can be
used to systematically check a specification for errors.
Part of the research and development was conducted within the
EPSRC funded projects ABCD and iMoc, and within the EU funded
project Rodin.
Development is continued under the EU funded project Deploy and
the DFG project Gepavas.
ProB has been successfully used on various industrial specifications
and is now being used within Siemens.
</description>
</category-def>
</site>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment