RODIN Files

Generic features to support developers making extensions to the EventB EMF Framework.
-------------------------------------------------------------------------------------
Release history:
5.4.0
 navigator (4.4.0) - improvements to element refiner - more robust for intra component refs,
 			allow emf models to be displayed in navigator
 			avoid dependency on GMF
5.3.0
  navigator (4.3.0) - improvements to element refiner including clone facilities.
5.2.0
  navigator (4.2.0) - Adds untisorter to prevent iUML-B elements to be sorted in the Event-B Explorer; Improves element refiner utilities.
5.1.1 - (For Rodin 3.x)
  navigator (4.1.1) - Improvements to refinement support: getEquivalentElement, refine and getNewReference
5.1.0 - (For Rodin 3.x)
  navigator (4.1.0) - extension point for declaring element refiners, in ExtensionContentProvider do not set read only resource map
5.0.1 - (For Rodin 3.x)
  navigator (4.0.1) - ExtensionContentProvider uses editing domain from EMFRodinDB
  persistence (2.1.2) - fix problem when loading extensions (should not set an unset feature)
5.0.0 - (For Rodin 3.x)
  navigator (4.0.0) - AbstractExtensionRefiner handling of references: equiv now falls back to copy if equiv na. Also removed GeneratedCopier
4.0.0 - (For Rodin 3.x)
  extension (4.0.0) - edit providers removed to separate plug-in
  edit (1.0.0) - new plugin for edit providers
  navigator (3.2.1) - update dependencies
  persistence (2.1.1) - update dependencies
3.2.0 - (For Rodin 3.x)
  navigator (3.2.0) - make generated copier specific to elements that have a generator_ID attribute
  extensions (3.1.0) - Overide enotify to update label when elaborates is changed, add wrapping of label if over 50 chars long
3.1.0 - For Rodin 3.0.
  navigator (3.2.0)
	update dependencies for Rodin 3.0
  persistence	(2.1.0)
  	update dependencies for Rodin 3.0
  	define Rodin element relations using new extension point
3.0.0 - 
	The extensions meta-model now allows event-groups to own the kinds of things that events do
	(so that things like guards and actions can be specified once on an event-group and then generated into each event).
  extension	(3.0.0)
	revised meta-model, use custom templates, update to use new core meta-model
	nsURI changed due to meta-model changes (breaks old models)
  extension.navigator (3.0.0)
	use new EMF resource loading facility
	update refiner for meta-model changes
	handle core exceptions (anticipate Rodin 3.0)
  extension.persistence	(2.0.0)
	update persistence for core meta-model changes
	handle core exceptions (anticipate Rodin 3.0)
2.1.0 - Release
	extension (2.1.0) fix getLabel, revised extension meta-classes to provide stronger basis for extensions.
	persistence(1.2.0) - raise min re-exported dependency org.eventb.emf.persistence to 2.4.2.
2.0.0 - Release
	extension (2.0.0) & navigator (2.0.0): added support for DataElaboration, RelationKind and EventGroup abstract meta-classes
	persistence(1.1.1) - minor
1.3.0 - Interim release
	navigator (1.3.0): add refinement participant to preserve generated attribute in refinements
1.2.1 - Interim release
	navigator (1.2.1): fix array index exception bug in refiner
1.2.0 - Interim release
	navigator (1.2.0): refiner supports filtering elements based on type
1.1.0 - Interim release
	navigator (1.1.0): add generic refiner, bugfix
	persistence (1.1.0): disabling of Transactional Change Recorder during save
1.0.4 - Minor fixes
	unique id generation moved to SerialisedExtensionSynchroniser
1.0.2 - Minor release fixes
	navigator (1.0.1)
		fix unsafe class cast
1.0.1 - Minor release fixes
	extension (1.1.1)
		added all contents of model folder (inc. ecore) to build
1.0.0 - Initial Release
	extension (1.1.0) (was in Event-B EMF framework feature)
		added EventBLabeled meta-class
	navigator (1.0.0)
		initial release
	persistence (1.0.0)
		initial release