Details for Maintaining Main Rodin Update Site

The Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project. /htdocs/updates/site.xml

See here for details on accessing sourceforge web pages:- http://alexandria.wiki.sourceforge.net/Project+Web%2C+Shell%2C+VHOST+and+Database+Services

Here is a snapshot of the site.xml. (Notes on how to add new releases are included as comments).

<?xml version="1.0" encoding="UTF-8"?>
<site>
/******* This is the site.xml file used by the Rodin (i.e. eclipse) 'Find and Install' facility to install extension features into Rodin Event-B.
/******* To add an extension to the update site, follow the instruction comments below, adding new items immediately before the relevant instruction 
/******* The order: description;features;archives;categories, is imposed by the eclipse site.xml editor.
/******* Note that currently the update site only uses the Dusseldorf mirror site (mesh). This is because the sourceforge FRS automatic mirror
/******* selection does not work with eclipse update sites.
   <description url="http://rodin-b-sharp.sourceforge.net/updates/">
      This is the eclipse update site for features that extend the Rodin Event-B modelling platform. 
  </description>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.2.11.200705111015.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.2.11.200705111015">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.3.0.200710091709.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.3.0.200710091709">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.3.1.200711011646.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.3.1.200711011646">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.3.3.200711152333.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.3.3.200711152333">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.4.0.200802222236.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.4.0.200802222236">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.4.1.200803240951.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.4.1.200803240951">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.4.2.200803262346.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.4.2.200803262346">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.4.3.200805170936.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.4.3.200805170936">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.4.4.200806032333.jar?use_mirror=mesh" id="ac.soton.umlb" version="0.4.4.200806032333">
      <category name="UML-B"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex.feature_0.3.0.jar?use_mirror=mesh" id="ac.soton.eventb.latex.feature" version="0.3.0">
      <category name="Event-B2LaTeX"/>
   </feature>
   <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex.feature_0.4.0.jar?use_mirror=mesh" id="ac.soton.eventb.latex.feature" version="0.4.0">
      <category name="Event-B2LaTeX"/>
   </feature> 

//******* add a new feature definition for your extension to Rodin Event-B here. 
//******* (first you should load your feature jar onto the Rodin sourceforge FRS download site) 

//* umlb v0.2.11  
   <archive path="plugins/ac.soton.umlb_0.2.9.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.2.9.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.doc.user_0.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.doc.user_0.2.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.eventB_0.2.11.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_0.2.11.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.project_0.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.project_0.2.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.u2b_0.2.10.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_0.2.10.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.ui_0.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.ui_0.2.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.2.8.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.2.8.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.2.6.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.2.6.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.2.6.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.2.6.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_0.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_0.2.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.editor_0.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.editor_0.2.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.2.6.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.2.6.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.2.6.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.2.6.jar?use_mirror=mesh"/>
//* umlb v0.3.0   
   <archive path="plugins/ac.soton.umlb.doc.user_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.doc.user_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.u2b_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.editor_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.editor_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.0.jar?use_mirror=mesh"/>
//* umlb v0.3.1
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.editor_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.editor_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.1.jar?use_mirror=mesh"/>
//* umlb v0.3.3
   <archive path="plugins/ac.soton.umlb.eventB_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.u2b_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.3.3.jar?use_mirror=mesh"/>
//* umlb v0.4.0
   <archive path="plugins/ac.soton.umlb_0.3.6.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_0.3.6.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.eventB_0.3.7.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_0.3.7.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.project_0.3.4.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.project_0.3.4.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.u2b_0.3.7.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_0.3.7.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.3.7.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.3.7.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.7.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.3.7.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_0.4.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.editor_0.3.5.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.editor_0.3.5.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.5.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.3.5.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.0.jar?use_mirror=mesh"/>
//* umlb v0.4.1
   <archive path="plugins/ac.soton.umlb.eventB_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_0.4.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.project_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.project_0.4.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.ui_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.ui_0.4.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.4.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.1.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.1.jar?use_mirror=mesh"/>
//* umlb v0.4.2
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.2.jar ?use_mirror=mesh"/>
//* umlb v0.4.3  
   <archive path="plugins/ac.soton.umlb.doc.user_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.doc.user_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.eventB_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.project_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.project_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.u2b_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.ui_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.ui_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_0.4.3.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_0.4.3.jar?use_mirror=mesh"/>
//* umlb v0.4.4  
   <archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.4.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_0.4.4.jar?use_mirror=mesh"/>

//* b2latex v0.3.0
   <archive path="plugins/ac.soton.eventb.ui.latex_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.ui.latex_0.3.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.eventb.latex_0.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex_0.3.0.jar?use_mirror=mesh"/>
//* b2latex v0.4.0
   <archive path="plugins/ac.soton.eventb.latex.ui_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex.ui_0.4.0.jar?use_mirror=mesh"/>
   <archive path="plugins/ac.soton.eventb.latex_0.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex_0.4.0.jar?use_mirror=mesh"/> 


//******* add new archive paths for all the eclipse plug-ins that make up your extension here. 
//******* (first you should load your plugin jars onto the Rodin sourceforge FRS download site)
//******* IMPORTANT - FOR NEW VERSIONS, ONLY ADD PLUGINS THAT HAVE BEEN ALTERED (SOURCEFORGE DOES NOT ALLOW YOU TO LOAD THE SAME FILE TWICE) 

   <category-def name="UML-B" label="UML-B modelling environment">
      <description>
         UML-B is a UML-like graphical modelling front end for Event-B. UML-B models are automatically translated into Event-B (and hence checked and verified) when they are saved.
      </description>
   </category-def> 

   <category-def name="Event-B2LaTeX" label="Event-B to LaTeX exporter">
      <description>
         Generates a LaTeX file with a textual representation of the selected Machine or Context. (The style files, bsymb.sty and lastpage.sty are needed to process the output).
      </description>
   </category-def>

//******* add a new category-def for your extension feature here.
</site>