diff --git a/org.rodinp.handbook.updatesite/.project b/org.rodinp.handbook.updatesite/.project deleted file mode 100644 index 55080b66eb42f57a0e8efe700bef6f88073425ec..0000000000000000000000000000000000000000 --- 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 03bb6d3ff6d39b2466a92ff02387e7636806a265..0000000000000000000000000000000000000000 --- 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>