CamilleX - Revision history

Son: /* Current version */

2021-07-19T13:09:21Z

Current version

← Older revision		Revision as of 13:09, 19 July 2021
Line 10:		Line 10:

	=== Current version ===		=== Current version ===
	The CamilleX version 1.0.0 is available as a separate feature from the main ~~Rodin~~ update site (under the ''~~Modelling Extensions~~'' category).		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 ===		=== 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.		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.

imported>Son at 12:28, 13 November 2018

2018-11-13T12:28:16Z

← Older revision		Revision as of 12:28, 13 November 2018
Line 2:		Line 2:
	Return to [[Rodin Plug-ins]]		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 Event-B contexts and machines.		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.		Extension to Event-B including the ''machine inclusion'' mechanism is also supported.

	<br style="clear: both" />		<br style="clear: both" />

	Please have a look also at the [[~~XEvent-B~~ User Guide]].		Please have a look also at the [[CamilleX User Guide]].

	=== Current version ===		=== Current version ===
	The ~~XEvent-B~~ version 0.0.7 is available as a separate ~~plug-in~~ from the main Rodin update site (under the ''Modelling Extensions'' category).		The CamilleX version 1.0.0 is available as a separate feature from the main Rodin update site (under the ''Modelling Extensions'' category).

	=== Principles ===		=== Principles ===
	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.		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.

imported>Son: Son moved page XEvent-B to CamilleX: Rebranding as CamileX

2018-11-13T12:27:15Z

Son moved page XEvent-B to CamilleX: Rebranding as CamileX

← Older revision	Revision as of 12:27, 13 November 2018
(No difference)

imported>Son: /* Current version */

2017-08-22T11:02:23Z

Current version

← Older revision		Revision as of 11:02, 22 August 2017
Line 10:		Line 10:

	=== Current version ===		=== Current version ===
	The XEvent-B version 0.0.6 is available as a separate plug-in from the main Rodin update site (under the ''Modelling Extensions'' category).		The XEvent-B version 0.0.7 is available as a separate plug-in from the main Rodin update site (under the ''Modelling Extensions'' category).

	=== Principles ===		=== Principles ===
	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.		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.

imported>Son at 07:35, 22 July 2017

2017-07-22T07:35:17Z

← Older revision		Revision as of 07:35, 22 July 2017
Line 10:		Line 10:

	=== Current version ===		=== Current version ===
	The XEvent-B version 0.0.6 is available as a separate plug-in from the main Rodin update site (under the ''Modelling'' category).		The XEvent-B version 0.0.6 is available as a separate plug-in from the main Rodin update site (under the ''Modelling Extensions'' category).

	=== Principles ===		=== Principles ===
	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.		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.

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..."

2017-07-21T23:24:32Z

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..."

New page

{{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 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 [[XEvent-B User Guide]].

=== Current version ===
The XEvent-B version 0.0.6 is available as a separate plug-in from the main Rodin update site (under the ''Modelling'' category).

=== Principles ===
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.