Event-B XText Front-end Release Notes

From Event-B
Revision as of 17:32, 4 November 2016 by 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)...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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)
    • 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
Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_XText_Front-end_Release_Notes&oldid=4308’