ProB for Rodin - Revision history

David Geleßus: Update Camille update sites (there seems to be just the nightly update site now)

2021-02-04T14:48:16Z

Update Camille update sites (there seems to be just the nightly update site now)

← Older revision		Revision as of 14:48, 4 February 2021
Line 23:		Line 23:
	==== Camille ====		==== Camille ====
	We also develop the Camille text-editor for Rodin.		We also develop the Camille text-editor for Rodin.
	~~A preliminary version of Camille for Rodin 3.3 is available at the nightly~~ update site~~: [http~~://~~nightly~~.~~cobra.cs.uni-duesseldorf~~.de/~~camille~~/ ~~http:~~//nightly~~.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de~~/~~camille_updates]~~) is preconfigured within Rodin.		The update site (https://www3.hhu.de/stups/rodin/camille/nightly/) is preconfigured within Rodin.
	More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].		More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Sebastian Krings: /* Camille */

2017-07-17T08:31:07Z

Camille

← Older revision		Revision as of 08:31, 17 July 2017
Line 23:		Line 23:
	==== Camille ====		==== Camille ====
	We also develop the Camille text-editor for Rodin.		We also develop the Camille text-editor for Rodin.
	A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de/camille_updates]) is preconfigured within Rodin.		A preliminary version of Camille for Rodin 3.3 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de/camille_updates]) is preconfigured within Rodin.
	More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].		More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Sebastian Krings: /* ProB (1) for Rodin */

2017-07-17T08:30:50Z

ProB (1) for Rodin

← Older revision		Revision as of 08:30, 17 July 2017
Line 4:		Line 4:

	=== ProB (1) for Rodin ===		=== ProB (1) for Rodin ===
	The first one is based on the old Java API and supports [http://wiki.event-b.org/index.php/Rodin_Platform_2.8_Release_Notes Rodin 2.8] and [http://wiki.event-b.org/index.php/Rodin_Platform_3.~~1_Release_Notes~~ Rodin 3.1]. The update site comes built in into Rodin, see [[Tutorial_Rodin_First_Step\|the tutorial on installing ProB for Rodin]].		The first one is based on the old Java API and supports [http://wiki.event-b.org/index.php/Rodin_Platform_2.8_Release_Notes Rodin 2.8] and [http://wiki.event-b.org/index.php/Rodin_Platform_3.3_Release_Notes Rodin 3.3]. The update site comes built in into Rodin, see [[Tutorial_Rodin_First_Step\|the tutorial on installing ProB for Rodin]].
	Nightly releases of this versions are also available on the [[Download#Nightly_Build\|Download]] page.		Nightly releases of this versions are also available on the [[Download#Nightly_Build\|Download]] page.

Michael Leuschel: /* Camille */

2015-01-30T07:08:19Z

Camille

← Older revision		Revision as of 07:08, 30 January 2015
Line 23:		Line 23:
	==== Camille ====		==== Camille ====
	We also develop the Camille text-editor for Rodin.		We also develop the Camille text-editor for Rodin.
	A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de/camille_updates] is preconfigured within Rodin).		A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de/camille_updates]) is preconfigured within Rodin.
	More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].		More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Michael Leuschel: /* Camille */

2015-01-30T07:07:58Z

Camille

← Older revision		Revision as of 07:07, 30 January 2015
Line 23:		Line 23:
	==== Camille ====		==== Camille ====
	We also develop the Camille text-editor for Rodin.		We also develop the Camille text-editor for Rodin.
			A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-duesseldorf.de/camille/ http://nightly.cobra.cs.uni-duesseldorf.de/camille/]. The regular update site ([http://www.stups.uni-duesseldorf.de/camille_updates http://www.stups.uni-duesseldorf.de/camille_updates] is preconfigured within Rodin).
	More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].		More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Michael Leuschel at 06:58, 30 January 2015

2015-01-30T06:58:08Z

← Older revision		Revision as of 06:58, 30 January 2015
Line 18:		Line 18:
	=== Other Plug-Ins for Rodin ===		=== Other Plug-Ins for Rodin ===

	== Prover Evaluation ==		==== Prover Evaluation ====
	This Plug-in is available at the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/] and is capable to evaluate a variety of provers or tactics on a selection of proof obligations.		This Plug-in is available at the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/] and is capable to evaluate a variety of provers or tactics on a selection of proof obligations.

	== Camille ==		==== Camille ====
	We also develop the Camille text-editor for Rodin.		We also develop the Camille text-editor for Rodin.
	More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].		More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Michael Leuschel at 06:57, 30 January 2015

2015-01-30T06:57:38Z

← Older revision		Revision as of 06:57, 30 January 2015
Line 15:		Line 15:

	There is now also a [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ Multi-Simulation Plug-in] available for Rodin. It enables discrete/continuous co-simulation.		There is now also a [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ Multi-Simulation Plug-in] available for Rodin. It enables discrete/continuous co-simulation.

			=== Other Plug-Ins for Rodin ===

			== Prover Evaluation ==
			This Plug-in is available at the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin_provereval/] and is capable to evaluate a variety of provers or tactics on a selection of proof obligations.

			== Camille ==
			We also develop the Camille text-editor for Rodin.
			More information can be found on the [http://wiki.event-b.org/index.php/Camille_Editor Camille site at event-b.org].

Michael Leuschel at 19:29, 22 January 2015

2015-01-22T19:29:13Z

← Older revision		Revision as of 19:29, 22 January 2015
Line 11:		Line 11:
	Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.		Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.
	Details about nightly releases of this versions is also available on the [[Download#Nightly_Build\|Download]] page.		Details about nightly releases of this versions is also available on the [[Download#Nightly_Build\|Download]] page.

			=== Multi-Simulation for Rodin based on ProB ===

			There is now also a [http://users.ecs.soton.ac.uk/vs2/ac.soton.multisim.updatesite/ Multi-Simulation Plug-in] available for Rodin. It enables discrete/continuous co-simulation.

Michael Leuschel: /* ProB 2.0 for Rodin */

2015-01-22T11:45:41Z

ProB 2.0 for Rodin

← Older revision		Revision as of 11:45, 22 January 2015
Line 10:		Line 10:
	The second, still experimental, one is based on the new [[ProB Java API]] (aka ProB 2.0).		The second, still experimental, one is based on the new [[ProB Java API]] (aka ProB 2.0).
	Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.		Because the UI components provided by the [[ProB Java API]] are based on web technologies, we were able create a simple plugin for the Rodin 3 tool that provides the user with all of the functionality of ProB within Rodin. The plugin uses views with embedded Eclipse SWT browsers to access the user interface components that are shipped with the [[ProB Java API]] library.
	Details about nightly releases of this versions is also available on the [[Download]] page.		Details about nightly releases of this versions is also available on the [[Download#Nightly_Build\|Download]] page.

Michael Leuschel: /* ProB (1) for Rodin */

2015-01-22T11:45:32Z

ProB (1) for Rodin

← Older revision		Revision as of 11:45, 22 January 2015
Line 5:		Line 5:
	=== ProB (1) for Rodin ===		=== ProB (1) for Rodin ===
	The first one is based on the old Java API and supports [http://wiki.event-b.org/index.php/Rodin_Platform_2.8_Release_Notes Rodin 2.8] and [http://wiki.event-b.org/index.php/Rodin_Platform_3.1_Release_Notes Rodin 3.1]. The update site comes built in into Rodin, see [[Tutorial_Rodin_First_Step\|the tutorial on installing ProB for Rodin]].		The first one is based on the old Java API and supports [http://wiki.event-b.org/index.php/Rodin_Platform_2.8_Release_Notes Rodin 2.8] and [http://wiki.event-b.org/index.php/Rodin_Platform_3.1_Release_Notes Rodin 3.1]. The update site comes built in into Rodin, see [[Tutorial_Rodin_First_Step\|the tutorial on installing ProB for Rodin]].
	Nightly releases of this versions are also available on the [[Download]] page.		Nightly releases of this versions are also available on the [[Download#Nightly_Build\|Download]] page.

	=== ProB 2.0 for Rodin ===		=== ProB 2.0 for Rodin ===