Home
Name Modified Size Downloads / Week Status
Totals: 38 Items  
Plugin_Rose_Editor 2014-04-14 3 weekly downloads
Plugin_iUML-B 2014-04-14 52 weekly downloads
Plugin_EventB EMF Support For Diagrams 2014-04-14 17 weekly downloads
Plugin_EventB EMF Support For Extensions 2014-04-14 34 weekly downloads
Plugin_ Event-B EMF Framework 2014-04-14 49 weekly downloads
Core_Rodin_Platform 2014-03-17 147 weekly downloads
Core_Update_Site 2014-03-17 249 weekly downloads
Plugin_SMT_Solvers 2014-03-14 96 weekly downloads
Plugin_UML-B_StateDiagramAnimation 2013-12-08 26 weekly downloads
Doc_Developer_Tutorial 2013-09-05 13 weekly downloads
Plugin_CodeGenerator 2013-08-29 36 weekly downloads
Plugin_ SharedEventComposition 2013-07-04 13 weekly downloads
Plugin_Generic_Instantiation 2013-03-05 1 weekly downloads
Plugin_Decomposition 2013-02-15 9 weekly downloads
Doc_Rodin_General 2013-01-25 2 weekly downloads
Plugin_ UML-B 2012-12-18 123 weekly downloads
Plugin_Atomicity Decomposition 2012-08-20 2 weekly downloads
Plugin_ Renaming_Refactory 2012-06-22 8 weekly downloads
Plugin_GenericInstantiation 2012-05-11 5 weekly downloads
Plugin_Theory 2012-04-20 40 weekly downloads
Plugin_ B2Latex 2012-04-16 29 weekly downloads
Plugin_Isabelle 2012-02-25 21 weekly downloads
Plugin_RodinEditor 2011-12-02 2 weekly downloads
Plugin_QualitativeProbability 2011-11-23 7 weekly downloads
Plugin_EventBUtilities 2011-11-23 7 weekly downloads
Plugin_Relevance_Filter 2011-07-29 18 weekly downloads
Plugin_Project_Diagram 2010-11-15 5 weekly downloads
Doc_ Event B LaTeX style 2010-11-03 5 weekly downloads
Plugin_ Feature Composition 2010-10-18 10 weekly downloads
Plugin_Records 2010-10-16 17 weekly downloads
Plugin_Teamwork 2010-10-15 10 weekly downloads
Plugin_Rule-based_Prover 2010-07-09 1 weekly downloads
Doc_UML-B_Tutorial 2010-01-08 7 weekly downloads
Doc_ Tutorial 2009-11-03 2 weekly downloads
Core_ Event-B Keyboard 2009-03-25 1 weekly downloads
Plugin_ Mobility 2007-10-31 1 weekly downloads
Doc_ User Manual 2007-10-26 3 weekly downloads
Font_ Brave Sans Mono 2006-03-27 1 weekly downloads