Download Latest Version ac.ddorf.refactory_feature_1.4.0.202502270902.jar (12.5 kB)
Email in envelope

Get an email when there's a new version of RODIN

Home / Plugin_EventB EMF Support For Extensions / 5.0.1
Name Modified Size InfoDownloads / Week
Parent folder
readme.txt 2015-03-26 1.2 kB
0
ac.soton.eventb.emf.core.extension.feature_5.0.1.jar 2015-03-26 12.8 kB
0
ac.soton.eventb.emf.core.extension.navigator_4.0.1.jar 2015-03-26 24.1 kB
0
ac.soton.eventb.emf.core.extension.persistence_2.1.2.jar 2015-03-26 11.6 kB
0
Totals: 4 Items   49.8 kB 0 
Generic features to support developers making extensions to the EventB EMF Framework.
-------------------------------------------------------------------------------------
Release history:
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
Source: readme.txt, updated 2015-03-26