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 / 3.0.0
Name Modified Size InfoDownloads / Week
Parent folder
ac.soton.eventb.emf.core.extension.persistence_2.0.0.jar 2014-04-14 11.5 kB
0
readme.txt 2014-04-14 659 Bytes
0
ac.soton.eventb.emf.core.extension.navigator_3.0.0.jar 2014-04-14 24.5 kB
0
ac.soton.eventb.emf.core.extension_3.0.0.jar 2014-04-14 101.4 kB
0
ac.soton.eventb.emf.core.extension.feature_3.0.0.jar 2014-04-14 12.3 kB
0
Totals: 5 Items   150.4 kB 0 
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)
Source: readme.txt, updated 2014-04-14