Difference between pages "CamilleX" and "CamilleX Release Notes"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
(Created page with "{{TOCright}} Return to Rodin Plug-ins The eXtended Event-B (XEvent-B) plugin provides text editors for XContexts and and XMachines which then compiled automatically to Ev...")
 
imported>Son
 
Line 1: Line 1:
−
{{TOCright}}
+
== Release history ==
−
Return to [[Rodin Plug-ins]]
+
=== 0.0.6 Support for Machine Inclusion and Event Synchronisation ===
 +
* Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
 +
* XEvent-B Branding (0.0.2): Renamed from Event-B XText Branding.
 +
* XEvent-B Documentations (0.0.2): Renamed from Event-B XText Documentations.
 +
* XEvent-B Cheatsheets (0.0.2): Renamed from Event-B XText Cheatsheets.
 +
* XEvent-B Common (0.0.3): Renamed from Event-B XText Common.
 +
* XEvent-B UI (0.0.2): Renamed from Event-B XText UI.
 +
* XEvent-B XContext (0.0.4): Renamed from Event-B XText Context.
 +
* XEvent-B XContext IDE (0.0.3): Renamed from Event-B XText Context IDE.
 +
* XEvent-B XContext UI (0.0.3): Renamed from Event-B Context UI.
 +
* XEvent-B XMachine (0.0.4): Renamed from Event-B XText Machine.
 +
** Support Machine Inclusion and Event Synchronisation.
 +
* XEvent-B XMachine IDE (0.0.3): Renamed from Event-B XText Machine IDE.
 +
* XEvent-B XMachine UI (0.0.3): Renamed from Event-B XText Machine UI.
  
−
The eXtended Event-B (XEvent-B) plugin provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
+
=== 0.0.5 ===
−
Extension to Event-B including the ''machine inclusion'' mechanism is also supported.
+
* Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).
  
−
<br style="clear: both" />
+
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).
  
−
Please have a look also at the [[XEvent-B User Guide]].
+
=== 0.0.4 ===
 +
* Updated plug-in dependency for the feature
  
−
=== Current version ===
+
=== 0.0.3 ===
−
The XEvent-B version 0.0.6 is available as a separate plug-in from the main Rodin update site (under the ''Modelling'' category).
+
* Event-B XText Context (0.0.3)
 +
** Issue #3: Single-line comment after the element, multi-line comment before the element
  
−
=== Principles ===
+
* Event-B XText Context IDE (0.0.2) Regenerated
−
The XEvent-B editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files.
+
 
 +
* 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

Revision as of 07:47, 22 July 2017

Release history

0.0.6 Support for Machine Inclusion and Event Synchronisation

  • Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
  • XEvent-B Branding (0.0.2): Renamed from Event-B XText Branding.
  • XEvent-B Documentations (0.0.2): Renamed from Event-B XText Documentations.
  • XEvent-B Cheatsheets (0.0.2): Renamed from Event-B XText Cheatsheets.
  • XEvent-B Common (0.0.3): Renamed from Event-B XText Common.
  • XEvent-B UI (0.0.2): Renamed from Event-B XText UI.
  • XEvent-B XContext (0.0.4): Renamed from Event-B XText Context.
  • XEvent-B XContext IDE (0.0.3): Renamed from Event-B XText Context IDE.
  • XEvent-B XContext UI (0.0.3): Renamed from Event-B Context UI.
  • XEvent-B XMachine (0.0.4): Renamed from Event-B XText Machine.
    • Support Machine Inclusion and Event Synchronisation.
  • XEvent-B XMachine IDE (0.0.3): Renamed from Event-B XText Machine IDE.
  • XEvent-B XMachine UI (0.0.3): Renamed from Event-B XText Machine UI.

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
Retrieved from ‘https://wiki.event-b.org/index.php?title=CamilleX&oldid=1028’