RODIN Files

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