RODIN Files

Generic features to support developers making extensions to the EventB EMF Framework.
-------------------------------------------------------------------------------------
Release history:
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 (3.2.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