Event-B XText Front-end: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son mNo edit summary |
imported>Son No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
Return to [[Rodin Plug-ins]] | Return to [[Rodin Plug-ins]] | ||
'''IMPORTANT''': Event-B XText Front-end is now developed into [[XEvent-B| ''extended Event-B (XEvent-B)'']]. | |||
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines. | The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines. | ||
| Line 9: | Line 11: | ||
=== Current version === | === Current version === | ||
The Event-B XText front-end 0.0. | The Event-B XText front-end 0.0.5 is available as a separate plug-in from the main Rodin update site (under the Editor category). | ||
=== Principles === | === Principles === | ||
The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext and XMachine and they are compiled to the Rodin files. | The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext and XMachine and they are compiled to the Rodin files. | ||
Latest revision as of 23:20, 21 July 2017
Return to Rodin Plug-ins
IMPORTANT: Event-B XText Front-end is now developed into extended Event-B (XEvent-B).
The Event-B XText front-end provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines.
Please have a look also at the Event-B XText Front-end User Guide.
Current version
The Event-B XText front-end 0.0.5 is available as a separate plug-in from the main Rodin update site (under the Editor category).
Principles
The Event-B XText editors (i.e., XContext and XMachine editors) do not work directly on the Rodin files. Instead, they operate on the separate XContext and XMachine and they are compiled to the Rodin files.
