Event-BEMF ReleaseHistory

From Event-B
Revision as of 09:00, 20 October 2009 by imported>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, ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-BEMF_ReleaseHistory&oldid=4040’