Download Latest Version
ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Get an email when there's a new version of RODIN
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| ac.soton.eventb.roseEditor_1.0.0.jar | 2010-06-18 | 124.5 kB | |
| ac.soton.eventb.roseEditor.feature_1.0.0.jar | 2010-06-18 | 11.5 kB | |
| Totals: 2 Items | 135.9 kB | 0 | |
This feature provides a multi-view structured editor. This editor is based on the Event-B EMF framework and supports extension plug-ins based on this framework (e.g. Diagrams). Release history: ------------------------------------------------------------------------------------------------------------ ### 1.7.0 ### adjust dependencies tidy up feature properties upgrade execution environment to Java 1.8 ### 1.6.1 ### Rose editor can edit .changes file, add proxymap to supported file extensions ### 1.6.0 ### improvements to properties sections to support multi-line text fields ### 1.5.1 ### updated to work with new version of Event-B EMF framework version 5.0 ### 1.5.0 ### update for new RondinKeyboard API in Rodin 3.0 ### 1.4.0 ### Works with new Event-B EMF version 4.0.0 support navigation to problem markers ### 1.3.0 ### Interim release to improve usability improve property sheet title naming to support extensions improve editing of new elements added in property sheet Auto save when focus lost ### 1.2.0 ### Interim release to support generated attribute disable new child menus for generated elements disable changes to widgets in properties for generated elements display 'GENERATED' in properties title for generated elements fix npe ### 1.1.0 ### Re-Released for Rodin 2.0 Use Rodin keyboard in place of Event-B keyboard Update dependencies Use Java/JVM 1.6 ### 1.0.0 ### First main release Removed unused views Table viewer for event refines properties Resource locator delegates to EventBCoreEditPlugin Change filter to filter Annotations instead of EAnnotations ### 0.2.0 ### Initial trial Release