From 1ecd8570013ae6ea04f16b6842b2ff471259272e Mon Sep 17 00:00:00 2001 From: Jens Bendisposto <jens@bendisposto.de> Date: Mon, 23 Apr 2012 18:59:59 +0200 Subject: [PATCH] removed auto-generated file category.xml --- .gitignore | 3 ++- de.prob.repository/category.xml | 35 --------------------------------- 2 files changed, 2 insertions(+), 36 deletions(-) delete mode 100644 de.prob.repository/category.xml diff --git a/.gitignore b/.gitignore index bf87aa22..057184fb 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 8e9705d9..00000000 --- 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> -- GitLab