Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

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

Name Modified Size InfoDownloads / Week
Parent folder
readme.txt 2015-02-01 260 Bytes
org.eventb.emf.diagram.project_1.0.1.jar 2015-02-01 296.7 kB
org.eventb.emf.diagram.feature_1.0.1.jar 2015-02-01 3.0 kB
Totals: 3 Items   299.9 kB 0
Provides a diagrammatic view of the relationships between Machines
 and Contexts in an Event-B Project. The diagram is not editable.
-------------------------------------------------------------------
v.1.0.1 - Updated for Rodin 3.1.0
v.1.0.0 - Initial release
Source: readme.txt, updated 2015-02-01