Event-B XText Front-end Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son Created page with "== KNOWN ISSUES == - Converting to XText: Currently, the "extended" attribute of events are not serialised. == Release history == === 0.0.2 === * Event-B XText Common (0.0.2)..." |
imported>Son |
||
| Line 1: | Line 1: | ||
== Release history == | == Release history == | ||
=== 0.0.2 === | === 0.0.2 === | ||
Revision as of 07:08, 23 November 2016
Release history
0.0.2
- Event-B XText Common (0.0.2)
- Added transient value service for XContext and XMachine.
- Event-B XText Context (0.0.2):
- Added formatter (used for auto-indentation).
- Event-B XText Machine (0.0.2):
- Added formatter (used for auto-indentation).
- Event-B XText UI (0.0.1): Initial version
- Added context menu for converting machines and contexts to XText.
0.0.1 Initial version contains the following plug-ins:
- Event-B XText Branding (0.0.1) Initial version: Branding information
- Event-B XText Common (0.0.1) Initial version: Common facilities
- Event-B XText Context (0.0.1) Initial version: Core support for Event-B contexts
- Event-B XText Context IDE (0.0.1) Initial version: IDE for Event-B contexts
- Event-B XText Context UI (0.0.1) Initial version: UI for Event-B contexts
- Event-B XText Machine (0.0.1) Initial version: Core support for Event-B machines
- Event-B XText Machine IDE (0.0.1) Initial version: IDE for Event-B machines
- Event-B XText Machine UI (0.0.1) Initial version: UI for Event-B machines
