Home
Name Modified Size Downloads / Week Status
Totals: 40 Items  
Plugin_Rose_Editor 2015-06-24 1111 weekly downloads
Plugin_EventB EMF Support For Diagrams 2015-06-24 3737 weekly downloads
Core_Update_Site 2015-06-22 138138 weekly downloads
Core_Rodin_Platform 2015-06-22 119119 weekly downloads
Plugin_ B2Latex 2015-05-27 1717 weekly downloads
Plugin_EventB EMF Support For Extensions 2015-05-06 3939 weekly downloads
Plugin_ Event-B EMF Framework 2015-05-06 8282 weekly downloads
Plugin_Pattern 2015-03-12 33 weekly downloads
Plugin_QualitativeProbability 2015-03-08 66 weekly downloads
Plugin_Project_Diagram 2015-02-01 66 weekly downloads
Plugin_iUML-B 2015-01-29 9797 weekly downloads
Theory_StdLib 2014-12-19 44 weekly downloads
Plugin_Theory 2014-12-19 5656 weekly downloads
Plugin_Decomposition 2014-11-25 2626 weekly downloads
Plugin_ SharedEventComposition 2014-11-25 4444 weekly downloads
Plugin_UML-B_StateDiagramAnimation 2014-10-18 1111 weekly downloads
Plugin_ UML-B 2014-10-18 2121 weekly downloads
Plugin_EventBUtilities 2014-05-31 66 weekly downloads
Plugin_SMT_Solvers 2014-05-19 3636 weekly downloads
Plugin_ Renaming_Refactory 2014-05-06 3838 weekly downloads
Doc_Developer_Tutorial 2013-09-05 11 weekly downloads
Plugin_CodeGenerator 2013-08-29 7777 weekly downloads
Plugin_Generic_Instantiation 2013-03-05 11 weekly downloads
Doc_Rodin_General 2013-01-25 11 weekly downloads
Plugin_Atomicity Decomposition 2012-08-20 11 weekly downloads
Plugin_GenericInstantiation 2012-05-11 99 weekly downloads
Plugin_Isabelle 2012-02-25 22 weekly downloads
Plugin_RodinEditor 2011-12-02 22 weekly downloads
Plugin_Relevance_Filter 2011-07-29 44 weekly downloads
Doc_ Event B LaTeX style 2010-11-03 66 weekly downloads
Plugin_ Feature Composition 2010-10-18 3434 weekly downloads
Plugin_Records 2010-10-16 66 weekly downloads
Plugin_Teamwork 2010-10-15 1212 weekly downloads
Plugin_Rule-based_Prover 2010-07-09 11 weekly downloads
Doc_UML-B_Tutorial 2010-01-08 11 weekly downloads
Doc_ Tutorial 2009-11-03 11 weekly downloads
Core_ Event-B Keyboard 2009-03-25 11 weekly downloads
Plugin_ Mobility 2007-10-31 11 weekly downloads
Doc_ User Manual 2007-10-26 33 weekly downloads
Font_ Brave Sans Mono 2006-03-27 11 weekly downloads