RODIN - Browse Files at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Looking for the latest version? Download rodin-2.7.r15250-sources.zip (13.7 MB)

Name	Modified	Size	Downloads	Status
Totals: 38 Items
Plugin_EventB EMF Support For Diagrams	2013-05-15
Plugin_EventB EMF Support For Extensions	2013-05-15
Plugin_ Event-B EMF Framework	2013-05-15
Core_Rodin_Platform	2013-05-07
Plugin_Generic_Instantiation	2013-03-05
Plugin_Decomposition	2013-02-15
Doc_Rodin_General	2013-01-25
Plugin_iUML-B	2013-01-16
Plugin_ UML-B	2012-12-18
Core_Update_Site	2012-11-06
Plugin_Atomicity Decomposition	2012-08-20
Plugin_ SharedEventComposition	2012-08-16
Plugin_ Renaming_Refactory	2012-06-22
Plugin_CodeGenerator	2012-05-24
Plugin_GenericInstantiation	2012-05-11
Plugin_Theory	2012-04-20
Plugin_ B2Latex	2012-04-16
Plugin_Isabelle	2012-02-25
Plugin_SMT_Solvers	2012-02-17
Plugin_RodinEditor	2011-12-02
Plugin_QualitativeProbability	2011-11-23
Plugin_EventBUtilities	2011-11-23
Plugin_Rose_Editor	2011-08-25
Plugin_Relevance_Filter	2011-07-29
Plugin_UML-B_StateDiagramAnimation	2011-02-15
Plugin_Project_Diagram	2010-11-15
Doc_ Event B LaTeX style	2010-11-03
Doc_Developer_Tutorial	2010-10-25
Plugin_ Feature Composition	2010-10-18
Plugin_Records	2010-10-16
Plugin_Teamwork	2010-10-15
Plugin_Rule-based_Prover	2010-07-09
Doc_UML-B_Tutorial	2010-01-08
Doc_ Tutorial	2009-11-03
Core_ Event-B Keyboard	2009-03-25
Plugin_ Mobility	2007-10-31
Doc_ User Manual	2007-10-26
Font_ Brave Sans Mono	2006-03-27