Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
ac.soton.eventb.emf.diagrams.navigator_2.0.0.jar | 2014-04-14 | 30.1 kB | |
ac.soton.eventb.emf.diagrams.generator_3.2.0.jar | 2014-04-14 | 43.9 kB | |
ac.soton.eventb.emf.diagrams_3.0.0.jar | 2014-04-14 | 26.2 kB | |
ac.soton.eventb.emf.diagrams.feature_4.0.0.jar | 2014-04-14 | 12.5 kB | |
readme.txt | 2014-04-14 | 453 Bytes | |
Totals: 5 Items | 113.1 kB | 0 |
4.0.0 - improved generator facilities and diagram updating utilities diagrams (3.0.0) move edit providers into diagrams plug-in, npe bugfix diagrams.generator (3.2.0) provide new feature to fire a conditional rule after all others detect invalid placements in containers diagrams.navigator (2.0.0) revised Diagram updating utilities to work with new reference id use new EMF resource loading facility fix proxy problem in open diagram action