diff --git a/.gitignore b/.gitignore index bf87aa22e9e6f13caeff168240676336bdb791ef..057184fb61b08829d913f53ba9b27c5201bef3fb 100644 --- a/.gitignore +++ b/.gitignore @@ -7,4 +7,5 @@ pom.xml updatesite/ de.prob.core/prob/ -build/ \ No newline at end of file +build/ +de.prob.repository/category.xml \ No newline at end of file diff --git a/de.prob.repository/category.xml b/de.prob.repository/category.xml deleted file mode 100644 index 8e9705d9b1d9183f52e832a4fdd2855d7bdad797..0000000000000000000000000000000000000000 --- a/de.prob.repository/category.xml +++ /dev/null @@ -1,35 +0,0 @@ -<?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>