RODIN Files

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