Difference between revisions of "Event-BEMF ReleaseHistory"
From Event-B
Jump to navigationJump to searchimported>Colin (New page: A framework which provides an EMF representation of Event-B models. ----------------------------------------------------------------- Release history: 1.1.2 - Re-release for Rodin 1.1.0, ...) |
(No difference)
|
Revision as of 09:00, 20 October 2009
A framework which provides an EMF representation of Event-B models.
Release history: 1.1.2 - Re-release for Rodin 1.1.0, add licence info etc. to build 1.1.1 - Re-export org.eclipse.emf.ecore.xmi for clients 1.1.0 - Provide I/O stream load/save methods in Resource 1.0.2 - Fixed update site URL, relaxed version numbers 1.0.1 - Initial Release