Name | Modified | Size | Downloads / 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