RODIN Files

Name	Modified	Size	InfoDownloads / Week
Core_Update_Site	2024-06-10		150
Core_Rodin_Platform	2024-06-10		104
Plugin_Theory	2022-04-01		679
Plugin_SMT_Solvers	2022-01-14		251
Theory_StdLib	2021-07-09		0
Plugin_iUML-B	2019-02-21		0
Plugin_EMF Inclusion	2019-02-16		0
Plugin_CODA	2019-02-11		0
Plugin_Event-B EMF Support For Decomposition	2018-12-10		0
Plugin_CamilleX	2018-11-13		0
Plugin_GMF_Tooling_Runtime	2018-11-04		0
Plugin_Rose_Editor	2018-11-04		18
Plugin_EventB EMF Support For Diagrams	2018-11-04		0
Plugin_EventB_Translator_Support	2018-11-04		0
Plugin_EMF_Translator	2018-11-03		0
Plugin_EventB EMF Support For Extensions	2018-11-03		95
Plugin_ Event-B EMF Framework	2018-11-03		78
Plugin_EventBUtilities	2017-11-22		20
Plugin_XEventB	2017-08-22		0
Plugin_CodeGenerator	2017-08-01		20
Plugin_QualitativeProbability	2017-07-23		20
Plugin_EMF Utilities	2017-07-12		0
Plugin_ SharedEventComposition	2017-07-05		19
Plugin_Decomposition	2017-07-04		19
Plugin_EventBXText	2017-01-28		0
Plugin_Teamwork	2016-09-05		60
Plugin_Records	2016-07-31		36
Plugin_ B2Latex	2016-07-08		35
Plugin_Pattern	2015-03-12		0
Plugin_Project_Diagram	2015-02-01		20
Plugin_UML-B_StateDiagramAnimation	2014-10-18		20
Plugin_ UML-B	2014-10-18		40
Plugin_ Renaming_Refactory	2014-05-06		31
Doc_Developer_Tutorial	2013-09-05		0
Plugin_Generic_Instantiation	2013-03-05		0
Doc_Rodin_General	2013-01-25		0
Plugin_Atomicity Decomposition	2012-08-20		0
Plugin_GenericInstantiation	2012-05-11		19
Plugin_Isabelle	2012-02-25		54
Plugin_RodinEditor	2011-12-02		36
Plugin_Relevance_Filter	2011-07-29		22
Doc_ Event B LaTeX style	2010-11-03		0
Plugin_ Feature Composition	2010-10-18		19
Plugin_Rule-based_Prover	2010-07-09		0
Doc_UML-B_Tutorial	2010-01-08		0
Doc_ Tutorial	2009-11-03		0
Core_ Event-B Keyboard	2009-03-25		0
Plugin_ Mobility	2007-10-31		0
Doc_ User Manual	2007-10-26		0
Font_ Brave Sans Mono	2006-03-27		0
Totals: 50 Items			1,865