update

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14057 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.updatesite/site.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <site>
-   <feature url="features/org.rodinp.handbook.feature_1.0.0.201201251517.jar" id="org.rodinp.handbook.feature" version="1.0.0.201201251517">
-      <category name="Rodin Handbook"/>
+   <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="Rodin Handbook" label="Rodin Handbook">
+   <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.