Details for Maintaining Main Rodin Update Site: Difference between revisions

Latest revision as of 08:33, 6 April 2012

The main Rodin Update Site description

The Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project. It is xml file available at : /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

The features and plug-ins should always be sorted by categories.
Maintain a plug-in for the latest version of Rodin (version N) and let the version for the previous Rodin release (version N-1).
Try to remove from one version to another the plug-ins that are no longer used.
Place your commands within XML comment tags ()
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>
<!--**** This is the site.xml file used by the Rodin (i.e. eclipse) '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. -->

 <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>

<!--****************************************************************************
 ************************************FEATURES************************************
 *****************************************************************************-->
<!--****** MODELING EXTENSIONS CATEGORY ******-->
  
 <!-- UML-B v2.2.0 -->
 <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>
    
 <!--  Records v1.0.1 -->
 <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>

 <!--  Theory v1.2 -->
 <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>

 <!--  iUML-B Statemachines v0.2.0 -->
 <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>

 <!--  Qualitative Probability v0.2.0 -->
 <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>
 
<!--************************************************************************ --> 
<!--****** VALIDATION CATEGORY ****** -->
 
 <!--  State Diagram Animation v1.1.0 -->
 <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>
   
 <!-- iUML-B Statemachine Animation v0.2.0 -->
 <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>

<!--************************************************************************ -->
<!--****** UTILITIES CATEGORY ****** -->
 
 <!-- EventB to LaTeX v0.5.1 -->
 <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>

 <!-- Refactory Plug-in v1.2.1 -->
 <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>

 <!-- Teamwork v1.0.1 -->
 <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>
  
 <!-- Teamwork v1.1.0 -->
 <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>

 <!-- Diagram Feature v1.0.0 -->
 <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>

 <!-- Code Generation v0.1.5 -->
 <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>

 <!-- Event-B Utilities v0.1.2 -->
 <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>

<!--************************************************************************ -->
<!--****** COMPOSITION AND DECOMPOSITION CATEGORY ****** -->

 <!-- Shared Event Composition v1.4.0 -->
 <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 Composition v0.0.4 -->
 <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>

 <!-- Decomposition v1.2.2 -->
 <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>

 <!-- Generic Instantiation v0.2.1 -->
 <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>

<!--************************************************************************ -->
<!--****** FRAMEWORKS CATEGORY ****** -->

 <!-- Event-B EMF Framework v3.5.3 -->
 <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>
 <!-- Event-B EMF Framework v3.5.1 -->
 <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>
 <!-- Event-B EMF Framework v3.5.0 -->
 <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>
 <!-- Event-B EMF Framework v3.4.0 -->
 <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>
     
 <!-- Event-B EMF Core Extension Feature v1.0.3 -->
 <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>  
 <!-- Event-B EMF Core Extension Feature v1.0.2 -->
 <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>  
 <!-- Event-B EMF Core Extension Feature v1.0.1 -->
 <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>
 <!-- Event-B EMF Core Extension Feature v1.0.0 -->
 <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> 
   
 <!-- iUML-B Diagrams v1.0.0 -->
 <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>

<!--************************************************************************ -->
<!-- ****** EDITORS CATEGORY ****** -->
  
 <!-- Rose Editor v1.3.0 -->
 <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>
        
 <!-- Rodin Editor v0.5.0 -->
 <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>
 
   <!-- Rodin Editor v0.5.1 -->
 <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>

<!--************************************************************************ -->
<!--****** PROVER EXTENSIONS CATEGORY ****** -->
 
 <!-- Relevance Filter v1.1.1 -->
 <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>  

 <!-- Isabelle v0.4.0 -->
 <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>
 
 <!-- SMT Solvers Plug-in v0.1.0 -->
 <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>  

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

<!--****************************************************************************
 ***********************************PLUGINS**************************************
 *****************************************************************************-->
<!--****** MODELING EXTENSIONS CATEGORY ****** --> 

<!-- UML-B v2.2.0 -->
<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"/>

<!-- Records v1.0.1 -->
<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"/>

<!-- Theory v1.2 -->
<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"/>

<!-- iUML-B Statemachines v0.2.0 -->
<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"/>

<!-- Qualitative Probabilisty v0.2.0 -->
<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"/>

<!-- Qualitative Probabilisty UI v0.1.0 -->
<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"/>

<!--************************************************************************ -->
<!--****** VALIDATION CATEGORY ****** -->

<!-- State Diagram Animation v1.1.0 -->
<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"/>

<!-- iUMLB Statemachine Animation v0.2.0 -->
<!-- The corresponding plugins are part of iUML-B Statemachines -->	

<!--************************************************************************ -->
<!--****** UTILITIES CATEGORY ****** -->

<!-- EventB to LaTeX v0.5.1 -->
<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"/>

<!-- Refactory Plug-in v1.2.1 -->
<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"/>

<!-- Teamworking v1.0.1 -->
<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"/>

<!-- Teamworking v1.1.0 -->
<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"/>

<!-- Project Diagram / iUML-B Diagrams v1.0.0 -->
<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"/> 

<!-- Code Generation v0.1.5 -->
<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"/>

<!-- Event-B Utilities v0.1.2 -->
<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"/>

<!--************************************************************************ -->
<!--****** COMPOSITION AND DECOMPOSITION CATEGORY ****** -->

<!-- Shared Event Composition feature v1.4.0 -->
<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"/>

<!-- Feature Composition v0.0.4 -->
<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"/>

<!-- Model Decomposition v1.2.2 -->
<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"/>

<!-- Event-B Generic Instantiation v0.2.0 -->
<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"/>
<!-- Event-B Generic Instantiation v0.2.1 -->
<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"/>
<!-- Event-B Generic Instantiation UI v0.3.0.201107141224 -->
<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"/>
<!-- Event-B Generic Instantiation UI v0.3.0.201107160829 -->
<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"/>

<!--************************************************************************ -->
<!--****** FRAMEWORKS CATEGORY ****** -->

<!-- Event-B EMF framework v3.5.3 -->
<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"/>

<!-- Event-B EMF framework v3.5.1 -->
<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"/>

<!-- Event-B EMF framework v3.5.0 -->
<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"/>

<!-- Event-B EMF framework v3.4.0 -->
<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"/>

<!-- Event-B EMF Support for Extensions v1.0.3 -->
<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"/>

<!-- Event-B EMF Support for Extensions v1.0.2 -->
<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"/>

<!-- Event-B EMF Support for Extensions v1.0.1 -->
<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"/>

<!-- Event-B EMF Support for Extensions v1.0.0 -->
<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"/>

<!-- iUML-B Diagrams v1.0.0 -->
<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"/>

<!--************************************************************************ -->
<!-- ****** EDITORS CATEGORY ****** -->

<!-- Rose Editor v1.3.0 -->
<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"/> 

<!-- Rodin Editor v0.5.0 -->
<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"/>

<!-- Rodin Editor v0.5.1 -->
<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"/>

<!--************************************************************************ -->
<!--****** PROVER EXTENSIONS CATEGORY ****** -->

<!-- Relevance filter v1.1.1 -->
<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"/> 

<!-- Isabelle v0.4.0 -->
<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"/>

<!-- SMT Solvers Plug-in v0.1.0 -->
<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"/>
  

<!--************************************************************************ -->
<!--***** 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="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>
  
<!--***** try to add your feature to one of the existing categories    *********
 ********* only add a new generic category if none of the existing      *********
 ********* ones are applicable.                                         ******-->

</site>
Details for Maintaining Main Rodin Update Site: Difference between revisions

Latest revision as of 08:33, 6 April 2012

The main Rodin Update Site description

Rules to follow

Navigation menu

Page actions

Page actions

Personal tools

Navigation

Search

Contribute

Tools
