Event-BEMF ReleaseHistory: Difference between revisions
From Event-B
Jump to navigationJump to search
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, ... |
imported>Colin No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
Release history: | |||
1.1.2 - Re-release for Rodin 1.1.0, add licence info etc. to build | 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.1 - Re-export org.eclipse.emf.ecore.xmi for clients | ||
1.1.0 - Provide I/O stream load/save methods in Resource | 1.1.0 - Provide I/O stream load/save methods in Resource | ||
1.0.2 - Fixed update site URL, relaxed version numbers | 1.0.2 - Fixed update site URL, relaxed version numbers | ||
1.0.1 - Initial Release | 1.0.1 - Initial Release | ||
Latest revision as of 09:48, 20 October 2009
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
