Details for Maintaining Main Rodin Update Site

From Event-B
Revision as of 13:52, 24 October 2011 by imported>Tommy
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: https://sourceforge.net/apps/trac/sourceforge/wiki/File%20management%20service

See here to update the site.xml file on sourceforge web pages: http://wiki.event-b.org/index.php/Details_for_Uploading_Main_Rodin_Update_Site

Rules to follow:

  1. The features and plug-ins should always be sorted by categories.
  2. Maintain a plug-in for the latest version of Rodin (version N) and let the version for the previous Rodin release (version N-1).
  3. Try to remove from one version to another the plug-ins that are no longer used.
  4. Place your commands within XML comment tags ()
  5. Try to reuse the existing categories and create a new one only if your plug-in really don't fit in existing ones.

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 may have substantially changed since this screenshot but the instructions are unchanged. 

<?xml version="1.0" encoding="UTF-8"?>
<site>

 <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.feature_2.2.0.jar" id="ac.soton.umlb.feature" version="2.2.0">
  <category name="Modelling_Extensions"/>
 </feature>
    
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.records_feature_1.0.1.jar" id="org.eventb.records_feature" version="1.0.1">
  <category name="Modelling_Extensions"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.theory.feature_1.2.0.jar" id="org.eventb.theory.feature" version="1.2.0">
  <category name="Modelling_Extensions"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.statemachines.feature_0.2.0.201108241452.jar" id="ac.soton.eventb.statemachines.feature" version="0.2.0.201108241452">
  <category name="Modelling_Extensions"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.qualprob_feature_0.2.0.201109170034.jar" id="ch.ethz.eventb.qualprob_feature" version="0.2.0.201109170034">
	<category name="Modelling_Extensions"/>
 </feature>
 
 
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.stateDiagramAnimation.feature_1.1.0.jar" id="ac.soton.umlb.stateDiagramAnimation.feature" version="1.1.0">
  <category name="Validation"/>
 </feature>
   
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.statemachines.animation.feature_0.2.0.201108251504.jar" id="ac.soton.eventb.statemachines.animation.feature" version="0.2.0.201108251504">
	<category name="Validation"/>
 </feature>

 
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex.feature_0.5.1.jar" id="ac.soton.eventb.latex.feature" version="0.5.1">
  <category name="Utilities"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.ddorf.refactory_feature_1.2.1.jar" id="ac.ddorf.refactory_feature" version="1.2.1">
  <category name="Utilities"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.rodinp.teamwork.feature_1.0.1.jar" id="ac.soton.rodinp.teamwork.feature" version="1.0.1">
  <category name="Utilities"/>
 </feature>
  
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.rodinp.teamwork.feature_1.1.0.jar" id="ac.soton.rodinp.teamwork.feature" version="1.1.0">
  <category name="Utilities"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.diagram.feature_1.0.0.jar" id="org.eventb.emf.diagram.feature" version="1.0.0">
	<category name="Utilities"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.feature_0.1.5.201105170913.jar" id="org.eventb.codegen.feature" version="0.1.5.201105170913">
	<category name="Utilities"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.utils_feature_0.1.2.201109170034.jar" id="ch.ethz.eventb.utils_feature" version="0.1.2.201109170034">
	<category name="Utilities"/>
 </feature>


 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.composition_feature_1.4.0.jar" id="ac.soton.composition_feature" version="1.4.0">
  <category name="Composition_and_Decomposition"/>
 </feature>
   
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.featurecomposition_feature_0.0.4.jar" id="ac.soton.featurecomposition_feature" version="0.0.4">
  <category name="Composition_and_Decomposition"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.decomposition_feature_1.2.2.jar" id="ch.ethz.eventb.decomposition_feature" version="1.2.2">
  <category name="Composition_and_Decomposition"/>
 </feature>

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.inst_feature_0.2.1.201107160829.jar" id="ch.ethz.eventb.inst_feature" version="0.2.1.201107160829">
	<category name="Composition_and_Decomposition"/>
 </feature>


 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.feature_3.5.3.jar" id="org.eventb.emf.feature" version="3.5.3">
  <category name="Frameworks"/>
 </feature>
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.feature_3.5.1.jar" id="org.eventb.emf.feature" version="3.5.1">
  <category name="Frameworks"/>
 </feature>
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.feature_3.5.0.jar" id="org.eventb.emf.feature" version="3.5.0">
  <category name="Frameworks"/>
 </feature>
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.feature_3.4.0.jar" id="org.eventb.emf.feature" version="3.4.0">
  <category name="Frameworks"/>
 </feature>
     
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.feature_1.0.3.jar" id="ac.soton.eventb.emf.core.extension.feature" version="1.0.3">
  <category name="Frameworks"/>
 </feature>  
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.feature_1.0.2.jar" id="ac.soton.eventb.emf.core.extension.feature" version="1.0.2">
  <category name="Frameworks"/>
 </feature>  
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.feature_1.0.1.jar" id="ac.soton.eventb.emf.core.extension.feature" version="1.0.1">
  <category name="Frameworks"/>
 </feature>
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.feature_1.0.0.jar" id="ac.soton.eventb.emf.core.extension.feature" version="1.0.0">
  <category name="Frameworks"/>
 </feature> 
   
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.diagrams.feature_1.0.0.201108241447.jar" id="ac.soton.eventb.emf.diagrams.feature" version="1.0.0.201108241447">
	<category name="Frameworks"/>
 </feature>

  
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.roseEditor.feature_1.3.0.jar" id="ac.soton.eventb.roseEditor.feature" version="1.3.0">
   <category name="Editors"/>
 </feature>
        
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/fr.systerel.editor.feature_0.5.0.r12469.jar" id="fr.systerel.editor" version="0.5.0.r12469">
	<category name="Editors"/>
 </feature>
 
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/fr.systerel.editor_feature_0.5.1.r12469.jar" id="fr.systerel.editor" version="0.5.1.r12469">
	<category name="Editors"/>
 </feature>

 
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.relevancefilter_feature_1.1.1.201107292310.jar" id="ch.ethz.eventb.relevancefilter_feature" version="1.1.1.201107292310">
   <category name="Prover_Extensions"/>
 </feature>  

 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.infk.isabelle.feature_0.4.0.201106291353.jar" id="ch.ethz.infk.isabelle.feature" version="0.4.0.201106291353">
  <category name="Prover_Extensions"/>
 </feature>
 
 <feature url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.smt-feature_0.1.0.r13351.jar" id="org.eventb.smt" version="0.1.0.r13351">
  <category name="Prover_Extensions"/>
 </feature>  



<archive path="plugins/ac.soton.umlb_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb_1.0.0.jar"/>
<archive path="plugins/ac.soton.umlb.eventB_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.eventB_1.2.0.jar"/>
<archive path="plugins/ac.soton.umlb.u2b_2.1.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.u2b_2.1.2.jar"/>
<archive path="plugins/ac.soton.umlb.project_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.project_1.2.1.jar"/> 
<archive path="plugins/ac.soton.umlb.ui_1.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.ui_1.3.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel_2.1.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel_2.1.2.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.classDiagram_2.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.classDiagram_2.1.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.commonDiagramUtilities_2.1.2.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.contextDiagram_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.contextDiagram_1.2.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.editor_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.editor_1.2.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.edit_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.edit_1.1.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.packageDiagram_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.packageDiagram_1.2.1.jar"/>
<archive path="plugins/ac.soton.umlb.umlbMetamodel.stateDiagram_2.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.umlbMetamodel.stateDiagram_2.1.1.jar"/>

<archive path="plugins/org.eventb.records.refactory_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.records.refactory_1.0.0.jar"/>
<archive path="plugins/org.eventb.emf.records_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.records_1.0.0.jar"/>
<archive path="plugins/org.eventb.emf.records.persistence_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.records.persistence_1.0.0.jar"/>
<archive path="plugins/org.eventb.records_1.0.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.records_1.0.1.jar"/>

<archive path="plugins/org.eventb.theory.ui_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.theory.ui_1.2.0.jar"/>
<archive path="plugins/org.eventb.theory.rbp_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.theory.rbp_1.2.0.jar"/>
<archive path="plugins/org.eventb.theory.core_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.theory.core_1.2.0.jar"/>  
<archive path="plugins/org.eventb.core.pm_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.core.pm_1.2.0.jar"/>
<archive path="plugins/org.eventb.theory.help_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.theory.help_1.1.0.jar"/>

<archive path="plugins/ac.soton.eventb.statemachines_0.2.0.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines_0.2.0.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.edit_0.2.0.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.edit_0.2.0.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.persistence_0.2.0.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.persistence_0.2.0.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.navigator_0.1.1.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.navigator_0.1.1.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.diagram_0.2.0.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.diagram_0.2.0.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.transformation_0.3.0.201108241452.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.transformation_0.3.0.201108241452.jar"/>
<archive path="plugins/ac.soton.eventb.statemachines.animation_0.2.0.201108251504.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.statemachines.animation_0.2.0.201108251504.jar"/>

<archive path="plugins/ch.ethz.eventb.qualprob_0.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.qualprob_0.2.0.jar"/>

<archive path="plugins/ch.ethz.eventb.qualprob.ui_0.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.qualprob.ui_0.1.0.jar"/>


<archive path="plugins/ac.soton.umlb.stateDiagramAnimation.ui_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.stateDiagramAnimation.ui_1.1.0.jar"/>
<archive path="plugins/ac.soton.umlb.stateDiagramAnimation.edit_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.stateDiagramAnimation.edit_1.1.0.jar"/>
<archive path="plugins/ac.soton.umlb.stateDiagramAnimation_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.stateDiagramAnimation_1.1.0.jar"/>
<archive path="plugins/ac.soton.umlb.stateDiagramAnimation.diagram_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.umlb.stateDiagramAnimation.diagram_1.1.0.jar"/>



<archive path="plugins/ac.soton.eventb.latex.ui_0.5.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex.ui_0.5.1.jar"/>
<archive path="plugins/ac.soton.eventb.latex_0.5.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.latex_0.5.1.jar"/>

<archive path="plugins/ac.ddorf.refactory.ui_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.ddorf.refactory.ui_1.2.1.jar"/>
<archive path="plugins/ac.ddorf.refactory.eventb_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.ddorf.refactory.eventb_1.1.1.jar"/>
<archive path="plugins/ac.ddorf.refactory_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.ddorf.refactory_1.1.1.jar"/>

<archive path="plugins/ac.soton.rodinp.teamwork_1.0.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.rodinp.teamwork_1.0.1.jar"/>

<archive path="plugins/ac.soton.rodinp.teamwork_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.rodinp.teamwork_1.1.0.jar"/>

<archive path="plugins/org.eventb.emf.diagram.project_1.0.0.201011151722.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.diagram.project_1.0.0.201011151722.jar"/> 

<archive path="plugins/org.eventb.codegen.epsilon.tools_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.epsilon.tools_0.1.0.201105170913.jar"/> 
<archive path="plugins/org.eventb.codegen.IL1_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1.edit_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1.edit_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1.editor_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1.editor_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1.prettyprinter_0.1.3.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1.prettyprinter_0.1.3.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Formula_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Formula_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Formula.edit_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Formula.edit_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Formula.editor_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Formula.editor_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Metadata_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Metadata_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Metadata.edit_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Metadata.edit_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.IL1Metadata.editor_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.IL1Metadata.editor_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.nodeCopier_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.nodeCopier_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.TEB_EB_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.TEB_EB_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.codegen.TEB_IL1_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegen.TEB_IL1_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.codegeneration.common_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.codegeneration.common_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.compositeControlMetamodel_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.compositeControlMetamodel_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.compositeControlMetamodel.edit_0.1.0.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.compositeControlMetamodel.edit_0.1.0.201105170913.jar"/>
<archive path="plugins/org.eventb.tasking.prettyprinter_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.tasking.prettyprinter_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.taskingMetamodel_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.taskingMetamodel_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.taskingMetamodel.edit_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.taskingMetamodel.edit_0.1.2.201105170913.jar"/>
<archive path="plugins/org.eventb.taskingMetamodel.editor_0.1.2.201105170913.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.taskingMetamodel.editor_0.1.2.201105170913.jar"/>

<archive path="plugins/ch.ethz.eventb.utils_0.1.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.utils_0.1.2.jar"/>


<archive path="plugins/ac.soton.composition.decomposition_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.composition.decomposition_1.1.0.jar"/>
<archive path="plugins/ac.soton.composition.core_1.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.composition.core_1.3.1.jar"/>
<archive path="plugins/ac.soton.composition.ui_1.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.composition.ui_1.3.1.jar"/>
<archive path="plugins/ac.soton.composition.refactory_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.composition.refactory_1.1.1.jar"/>

<archive path="plugins/ac.soton.emfb.model_0.0.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.emfb.model_0.0.2.jar"/>
<archive path="plugins/ac.soton.emfb.model.edit_0.0.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.emfb.model.edit_0.0.2.jar"/>
<archive path="plugins/ac.soton.emfb.model.editor_0.0.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.emfb.model.editor_0.0.2.jar"/>
<archive path="plugins/ac.soton.emfb_0.0.4.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.emfb_0.0.4.jar"/>

<archive path="plugins/ch.ethz.eventb.decomposition.core_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.decomposition.core_1.2.1.jar"/>   
<archive path="plugins/ch.ethz.eventb.decomposition.ui_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.decomposition.ui_1.2.0.jar"/>
<archive path="plugins/ch.ethz.eventb.decomposition_1.2.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.decomposition_1.2.2.jar"/>

<archive path="plugins/ch.ethz.eventb.inst_0.2.0.201107141224.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.inst_0.2.0.201107141224.jar"/>
<archive path="plugins/ch.ethz.eventb.inst_0.2.1.201107160829.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.inst_0.2.1.201107160829.jar"/>
<archive path="plugins/ch.ethz.eventb.inst.ui_0.3.0.201107141224.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.inst.ui_0.3.0.201107141224.jar"/>
<archive path="plugins/ch.ethz.eventb.inst.ui_0.3.0.201107160829.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.eventb.inst.ui_0.3.0.201107160829.jar"/>


<archive path="plugins/org.eventb.emf.core_2.2.4.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.core_2.2.4.jar"/>
<archive path="plugins/org.eventb.emf.compare_1.4.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.compare_1.4.1.jar"/>
<archive path="plugins/org.eventb.emf.formulas_1.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.formulas_1.2.1.jar"/>
<archive path="plugins/org.eventb.emf.persistence_2.3.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.persistence_2.3.2.jar"/>

<archive path="plugins/org.eventb.emf.core_2.2.3.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.core_2.2.3.jar"/>

<archive path="plugins/org.eventb.emf.core_2.2.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.core_2.2.2.jar"/>
<archive path="plugins/org.eventb.emf.compare_1.4.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.compare_1.4.0.jar"/>

<archive path="plugins/org.eventb.emf.core_2.2.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.core_2.2.1.jar"/>
<archive path="plugins/org.eventb.emf.compare_1.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.compare_1.3.1.jar"/>
<archive path="plugins/org.eventb.emf.formulas_1.2.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.formulas_1.2.0.jar"/>
<archive path="plugins/org.eventb.emf.persistence_2.3.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/org.eventb.emf.persistence_2.3.1.jar"/>

<archive path="plugins/ac.soton.eventb.emf.core.extension_1.1.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension_1.1.2.jar"/>
<archive path="plugins/ac.soton.eventb.emf.core.extension.navigator_1.0.2.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.navigator_1.0.2.jar"/>
<archive path="plugins/ac.soton.eventb.emf.core.extension.persistence_1.0.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.persistence_1.0.1.jar"/>

<archive path="plugins/ac.soton.eventb.emf.core.extension.navigator_1.0.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.navigator_1.0.1.jar"/>

<archive path="plugins/ac.soton.eventb.emf.core.extension_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension_1.1.1.jar"/>

<archive path="plugins/ac.soton.eventb.emf.core.extension_1.1.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension_1.1.0.jar"/>
<archive path="plugins/ac.soton.eventb.emf.core.extension.navigator_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.navigator_1.0.0.jar"/>
<archive path="plugins/ac.soton.eventb.emf.core.extension.persistence_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.emf.core.extension.persistence_1.0.0.jar"/>

<archive path="plugins/ac.soton.eventb.emf.diagrams_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.emf.diagrams_1.0.0.jar"/>
<archive path="plugins/ac.soton.eventb.emf.diagrams.edit_1.0.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.emf.diagrams.edit_1.0.0.jar"/>
<archive path="plugins/ac.soton.eventb.emf.diagrams.navigator_1.0.0.201108241447.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ac.soton.eventb.emf.diagrams.navigator_1.0.0.201108241447.jar"/>


<archive path="plugins/ac.soton.eventb.roseEditor_1.3.0.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ac.soton.eventb.roseEditor_1.3.0.jar"/> 

<archive path="plugins/org.rodinp.core.emf_0.5.0.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/org.rodinp.core.emf_0.5.0.r12469.jar"/>
<archive path="plugins/fr.systerel.editor_0.5.0.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/fr.systerel.editor_0.5.0.r12469.jar"/>
<archive path="plugins/fr.systerel.editor.help_0.5.0.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/fr.systerel.editor.help_0.5.0.r12469.jar"/>

<archive path="plugins/org.rodinp.core.emf_0.5.1.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/org.rodinp.core.emf_0.5.1.r12469.jar"/>
<archive path="plugins/fr.systerel.editor_0.5.1.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/fr.systerel.editor_0.5.1.r12469.jar"/>
<archive path="plugins/fr.systerel.editor.help_0.5.1.r12469.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/fr.systerel.editor.help_0.5.1.r12469.jar"/>


<archive path="plugins/ch.ethz.eventb.relevancefilter.core_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.relevancefilter.core_1.1.1.jar"/>  
<archive path="plugins/ch.ethz.eventb.relevancefilter.ui_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.relevancefilter.ui_1.1.1.jar"/> 
<archive path="plugins/ch.ethz.eventb.relevancefilter.ui.pref_1.1.1.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/ch.ethz.eventb.relevancefilter.ui.pref_1.1.1.jar"/> 

<archive path="plugins/ch.ethz.infk.isabelle_0.4.0.201106291353.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/ch.ethz.infk.isabelle_0.4.0.201106291353.jar"/>

<archive path="plugins/org.eventb.smt_0.1.0.r13351.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/org.eventb.smt_0.1.0.r13351.jar"/>
<archive path="plugins/org.eventb.smt.core_0.1.0.r13351.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/org.eventb.smt.core_0.1.0.r13351.jar"/>
<archive path="plugins/org.eventb.smt.ui_0.1.0.r13351.jar" url="http://downloads.sourceforge.net/rodin-b-sharp/plugins/org.eventb.smt.ui_0.1.0.r13351.jar"/>
  


  <category-def name="Composition_and_Decomposition" label="Composition and Decomposition">
    <description>
       Tools that support for model composition and decomposition.
    </description>
  </category-def>

 <category-def name="Frameworks" label="Frameworks">
    <description>
       Provides support for EMF based Event-B tools. Persistence into the Rodin database is provided.
    </description>
 </category-def>
    
  <category-def name="Modelling_Extensions" label="Modelling Extensions">
    <description>
       Extensions to the Event-B modelling notation
    </description>
  </category-def>
  
  <category-def name="Utilities" label="Utilities">
     <description>
       Utility tools that assist modelling:
       a) Event-B2LaTeX
           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).
       b) Renaming/refactoring
        	This plug-in renames elements that exist in one of the Event-B file types: Machine, Context or ComposedMachine. The renaming is applied to the file where the element belongs and it is also propagated through the related files.
        	The renaming/refactory plugin uses the RodinIndexer plugin to search for clashes and to rename elements. The elements to be renamed can be configurated using these extension-points:
				- ac.ddorf.refactory.renameRefactoring 
				- ac.ddorf.refactory.renameRefactoringFiles
			A goal to be achieved is to rename proof obligations when a refactory occurs (not available in this version). 
			To rename/refactory, you need to select the element in the Event-B explorer and by right-clicking, an option ‘Refactory...‘ should be shown. By selecting that option, you follow a wizard where a new name will be asked and a 
			report will be generated in case of clashes. By clicking ‘Finish‘ in the wizard, the renaming is applied and all the related files are saved reflecting the renaming.
		c) Teamwork
			Support for sharing models in an svn repository.
		d) Project Diagram
			Displays a diagram of selected Rodin project.
		e) Code Generators
			Utilities that allow executable program to be generated from a model.			
     </description>
  </category-def>
  
  <category-def name="Validation" label="Validation">
    <description>
       Tools for validation (e.g. Animators)
    </description>
  </category-def>

  <category-def name="Prover_Extensions" label="Prover Extensions">
    <description>
       Tools for theorem proving.
    </description>
  </category-def>
  
   <category-def name="Editors" label="Editors">
    <description>
       Tools for model Editing within Rodin.
    </description>
  </category-def>
  

</site>
Retrieved from ‘https://wiki.event-b.org/index.php?title=Details_for_Maintaining_Main_Rodin_Update_Site&oldid=3598’