Details for Maintaining Main Rodin Update Site

From Event-B
Revision as of 09:46, 18 May 2011 by imported>Colin
Jump to navigationJump to search

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). NOTE that the content of this file has changed substantially since this screenshot but the instructions are unchanged. 


<?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. SEE CATEGORY DEFINITIONS AT BOTTOM OF FILE 
//******* (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)
//******* FOR NEW VERSIONS, YOU ONLY NEED TO ADD PLUGINS THAT HAVE BEEN ALTERED

//********(SOURCEFORGE WILL FIND THE EXISTING PLUGINS IN PREVIOUS RELEASES, ALTHOUGH IT NOW SEEMS TO 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 BUT ONLY if it does not fit into an existing category.
</site>
Retrieved from ‘https://wiki.event-b.org/index.php?title=Details_for_Maintaining_Main_Rodin_Update_Site&oldid=3594’