Details for Maintaining Main Rodin Update Site
From Event-B
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>
