Difference between revisions of "Event-B XText Front-end Release Notes"

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:
== KNOWN ISSUES ==
 
- Converting to XText: Currently, the "extended" attribute of events are not serialised.
 
 
 
== 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