RODIN Files

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