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_ Event-B EMF Framework / 4.0..0
Name Modified Size InfoDownloads / Week
Parent folder
readme.txt 2014-04-14 1.1 kB
0
org.eventb.emf.persistence_3.0.0.jar 2014-04-14 85.4 kB
0
org.eventb.emf.formulas_1.3.2.jar 2014-04-14 349.8 kB
0
org.eventb.emf.core_3.0.0.jar 2014-04-14 385.1 kB
0
org.eventb.emf.compare_1.4.3.jar 2014-04-14 18.4 kB
0
org.eventb.emf.feature_4.0.0.jar 2014-04-14 13.8 kB
0
Totals: 6 Items   853.5 kB 0 
4.0.0 - 
	Changes to the meta-model so that id used in references are properly unique. 
	Edit providers have been improved so that the display of EMF-based editors like Rose is better.
	Persistence now handles extensions so that they are not lost even if the declaring plug-in is
	not installed and it has been made more robust wrt loading projects.
  compare	(1.4.3) relax dependency restriction to work with core 3.0.0
  core (3.0.0)
	improve proxy resolution
	improved providers (text and icon)
	default true -> T
	make reference unique as it is used was an id
	ensure reference has a default value
	add internalID for referencing elements with no name
	Improvements to compile against Rodin 3.0
	nsURI changed due to meta-model changes (breaks old models)
  formulas (1.3.2)
	relax dependency restriction to work with core 3.0.0
  persistence	(3.0.0)
	Handle EMF-side Extensions when extension plug-in is missing
	provide new EMF resource loading facility
	more reliable way to get project from uri
	persist internalId
	Improvements to compile against Rodin 3.0
Source: readme.txt, updated 2014-04-14