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
m
 
(2 intermediate revisions by the same user not shown)
Line 1: Line 1:
== KNOWN ISSUES ==
+
== Release history ==
- Converting to XText: Currently, the "extended" attribute of events are not serialised.
+
 
 +
=== 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
  
== Release history ==
 
 
=== 0.0.2 ===
 
=== 0.0.2 ===
 
* Event-B XText Common (0.0.2)
 
* Event-B XText Common (0.0.2)

Latest revision as of 19:29, 28 January 2017

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