From b7bdd6ae6efd01c63ceaa69ff8accf4a1e4aab50 Mon Sep 17 00:00:00 2001 From: Lukas Ladenberger <lukas.ladenberger@googlemail.com> Date: Thu, 26 Apr 2012 11:41:13 +0000 Subject: [PATCH] removed unused plugin (update site build migrated to maven/tycho) git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14624 1434b563-b632-4741-aa49-43a3a8374d2e --- org.rodinp.handbook.updatesite/.project | 17 -------------- org.rodinp.handbook.updatesite/site.xml | 30 ------------------------- 2 files changed, 47 deletions(-) delete mode 100644 org.rodinp.handbook.updatesite/.project delete mode 100644 org.rodinp.handbook.updatesite/site.xml diff --git a/org.rodinp.handbook.updatesite/.project b/org.rodinp.handbook.updatesite/.project deleted file mode 100644 index 55080b6..0000000 --- a/org.rodinp.handbook.updatesite/.project +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<projectDescription> - <name>org.rodinp.handbook.updatesite</name> - <comment></comment> - <projects> - </projects> - <buildSpec> - <buildCommand> - <name>org.eclipse.pde.UpdateSiteBuilder</name> - <arguments> - </arguments> - </buildCommand> - </buildSpec> - <natures> - <nature>org.eclipse.pde.UpdateSiteNature</nature> - </natures> -</projectDescription> diff --git a/org.rodinp.handbook.updatesite/site.xml b/org.rodinp.handbook.updatesite/site.xml deleted file mode 100644 index 03bb6d3..0000000 --- a/org.rodinp.handbook.updatesite/site.xml +++ /dev/null @@ -1,30 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<site> - <description name="Rodin Handbook" url="http://handbook.event-b.org"> - This handbook provides documentation for users of the Rodin toolset, which allows working with Event-B models. - -Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. - -The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extensible with plugins. - -This handbook covers the use of the core platform. Documentation for developers and regarding extensions can be found in the Rodin wiki. - -What you see here is a working draft of the documentation. We are grateful for any feedback that you may have. - </description> - <feature url="features/org.rodinp.handbook.feature_1.0.0.201201251653.jar" id="org.rodinp.handbook.feature" version="1.0.0.201201251653"> - <category name="handbook"/> - </feature> - <category-def name="handbook" label="Rodin Handbook"> - <description> - This handbook provides documentation for users of the Rodin toolset, which allows working with Event-B models. - -Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. - -The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extensible with plugins. - -This handbook covers the use of the core platform. Documentation for developers and regarding extensions can be found in the Rodin wiki. - -What you see here is a working draft of the documentation. We are grateful for any feedback that you may have. - </description> - </category-def> -</site> -- GitLab