From bd83a10efd2beb9600158e4171a054f67a42c107 Mon Sep 17 00:00:00 2001
From: Lukas Ladenberger <lukas.ladenberger@googlemail.com>
Date: Wed, 25 Jan 2012 15:57:11 +0000
Subject: [PATCH] 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 | 17 ++++++++++++++---
1 file changed, 14 insertions(+), 3 deletions(-)
diff --git a/org.rodinp.handbook.updatesite/site.xml b/org.rodinp.handbook.updatesite/site.xml
index fce972c..03bb6d3 100644
--- a/org.rodinp.handbook.updatesite/site.xml
+++ b/org.rodinp.handbook.updatesite/site.xml
@@ -1,9 +1,20 @@
<?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.
--
GitLab