Difference between pages "File:Atm sm.instance.png" and "CamilleX"
(Maintenance script uploaded File:Atm sm.instance.png) |
|||
Line 1: | Line 1: | ||
− | + | {{TOCright}} | |
+ | Return to [[Rodin Plug-ins]] | ||
+ | |||
+ | The CamilleX feature provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines. | ||
+ | Extension to Event-B including the ''machine inclusion'' mechanism is also supported. | ||
+ | |||
+ | <br style="clear: both" /> | ||
+ | |||
+ | Please have a look also at the [[CamilleX User Guide]]. | ||
+ | |||
+ | === Current version === | ||
+ | The CamilleX version 2.1.0 is available as a separate feature from the main Soton Plug-in update site (under the ''CamilleX'' category). Notice that the Soton plug-in update site is now included in the composite Rodin Update Site. | ||
+ | |||
+ | === Principles === | ||
+ | The CamilleX editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files. |
Latest revision as of 13:09, 19 July 2021
Contents |
Return to Rodin Plug-ins
The CamilleX feature provides text editors for XContexts and and XMachines which then compiled automatically to Event-B contexts and machines. Extension to Event-B including the machine inclusion mechanism is also supported.
Please have a look also at the CamilleX User Guide.
Current version
The CamilleX version 2.1.0 is available as a separate feature from the main Soton Plug-in update site (under the CamilleX category). Notice that the Soton plug-in update site is now included in the composite Rodin Update Site.
Principles
The CamilleX editors (i.e., XContext and XMachine editors) operate on the separate XContext and XMachine text file and they are compiled to the Rodin files.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 20:49, 30 April 2020 | 646 × 314 (13 KB) | Maintenance script (talk | contribs) |
- You cannot overwrite this file.
File usage
The following page links to this file: