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.

Name	Modified	InfoDownloads / Week
Plugin_Generic_Instantiation	2025-02-27	11
Plugin_ Renaming_Refactory	2025-02-27	69
Plugin_ B2Latex	2024-10-17	64
Core_Update_Site	2024-06-10	113
Core_Rodin_Platform	2024-06-10	115
Plugin_Theory	2022-04-01	317
Plugin_SMT_Solvers	2022-01-14	285
Theory_StdLib	2021-07-09	1
Plugin_iUML-B	2019-02-21	15
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	21
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	124
Plugin_ Event-B EMF Framework	2018-11-03	160
Plugin_EventBUtilities	2017-11-22	49
Plugin_XEventB	2017-08-22	0
Plugin_CodeGenerator	2017-08-01	41
Plugin_QualitativeProbability	2017-07-23	54
Plugin_EMF Utilities	2017-07-12	0
Plugin_ SharedEventComposition	2017-07-05	41
Plugin_Decomposition	2017-07-04	57
Plugin_EventBXText	2017-01-28	0
Plugin_Teamwork	2016-09-05	140
Plugin_Records	2016-07-31	66
Plugin_Pattern	2015-03-12	0
Plugin_Project_Diagram	2015-02-01	41
Plugin_UML-B_StateDiagramAnimation	2014-10-18	53
Plugin_ UML-B	2014-10-18	71
Doc_Developer_Tutorial	2013-09-05	0
Doc_Rodin_General	2013-01-25	2
Plugin_Atomicity Decomposition	2012-08-20	0
Plugin_GenericInstantiation	2012-05-11	51
Plugin_Isabelle	2012-02-25	70
Plugin_RodinEditor	2011-12-02	44
Plugin_Relevance_Filter	2011-07-29	44
Doc_ Event B LaTeX style	2010-11-03	2
Plugin_ Feature Composition	2010-10-18	52
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
OldFiles	2009-03-03	0
Plugin_ Mobility	2007-10-31	0
Doc_ User Manual	2007-10-26	0
Font_ Brave Sans Mono	2006-03-27	0
Totals: 51 Items		2,173

RODIN Files

Get an email when there's a new version of RODIN