Event-B XText Front-end Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son |
imported>Son mNo edit summary |
||
| Line 1: | Line 1: | ||
== Release history == | == Release history == | ||
=== 0.0.5 === | |||
* Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).\n\ | |||
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).\n\ | |||
=== 0.0.4 === | |||
* Updated plug-in dependency for the feature\n\ | |||
=== 0.0.3 === | |||
* Event-B XText Context (0.0.3) | |||
** Issue #3: Single-line comment after the element, multi-line comment before the element | |||
* Event-B XText Context IDE (0.0.2) Regenerated | |||
* Event-B XText ContextUI IDE (0.0.2) Regenerated | |||
* Event-B XText Machine (0.0.3) | |||
** Issue #3: Single-line comment after the element, multi-line comment before the element | |||
** Issue #5: Event terminator using 'end' keyword instead of ';' | |||
* Event-B XText Machine IDE (0.0.2) Regenerated | |||
* Event-B XText Machine UI IDE (0.0.2) Regenerated | |||
=== 0.0.2 === | === 0.0.2 === | ||
* Event-B XText Common (0.0.2) | * Event-B XText Common (0.0.2) | ||
Revision as of 19:28, 28 January 2017
Release history
0.0.5
- Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).\n\
- Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).\n\
0.0.4
- Updated plug-in dependency for the feature\n\
0.0.3
- Event-B XText Context (0.0.3)
- Issue #3: Single-line comment after the element, multi-line comment before the element
- Event-B XText Context IDE (0.0.2) Regenerated
- Event-B XText ContextUI IDE (0.0.2) Regenerated
- Event-B XText Machine (0.0.3)
- Issue #3: Single-line comment after the element, multi-line comment before the element
- Issue #5: Event terminator using 'end' keyword instead of ';'
- Event-B XText Machine IDE (0.0.2) Regenerated
- Event-B XText Machine UI IDE (0.0.2) Regenerated
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
