Event-B XText Front-end Release Notes

Release history

0.0.5

• Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).

• Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).

0.0.4

• Updated plug-in dependency for the feature

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