Rodin Platform Welcome Page - Revision history

imported>Nicolas at 16:45, 20 April 2010

2010-04-20T16:45:48Z

← Older revision		Revision as of 16:45, 20 April 2010
Line 18:		Line 18:

	To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow:		To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow:
	* From the main menu bar, select '''Help ~~>~~ Install New Software...'''. The Install wizard opens.		* From the main menu bar, select '''Help > Install New Software...'''. The Install wizard opens.
	* Uncheck the '''Group items by category''' check box.		* Uncheck the '''Group items by category''' check box.
			* Uncheck the '''Contact all update sites during install to find required software''' check box.
	* Click on the '''Work with''' dropdown list and select the Atelier B provers update site.		* Click on the '''Work with''' dropdown list and select the Atelier B provers update site.
	* Select '''Atelier B provers''' in the list (tick the left check boxes) and click '''Next'''.		* Select '''Atelier B provers''' in the list (tick the left check boxes) and click '''Next'''.

imported>Pascal: /* Categories have been added. */

2010-02-19T12:52:14Z

Categories have been added.

← Older revision		Revision as of 12:52, 19 February 2010
Line 27:		Line 27:

	</div>		</div>

			[[Category:User documentation]]
			[[Category:Rodin Platform]]

imported>Pascal: /* Important Installation notes */

2010-02-19T11:49:57Z

Important Installation notes

← Older revision		Revision as of 11:49, 19 February 2010
Line 14:		Line 14:
	The development of this platform is hosted by [http://sourceforge.net/projects/rodin-b-sharp SourceForge].		The development of this platform is hosted by [http://sourceforge.net/projects/rodin-b-sharp SourceForge].

	= Important Installation notes =		== Important Installation notes ==
	For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respond to clicks. Explanations and workaround [http://wiki.event-b.org/index.php/Gnome_and_broken_buttons here].		For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respond to clicks. Explanations and workaround [http://wiki.event-b.org/index.php/Gnome_and_broken_buttons here].

imported>Pascal: /* Creation */

2010-02-19T11:49:25Z

Creation

New page

<div style="background:#e6a070">

= The Rodin Platform =
Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.

Rodin development has been partly funded by the European Commission through two RTD projects:
* project [http://rodin.cs.ncl.ac.uk Rodin] (FP6 IST project 511599), from September 2004 to October 2007,
* project [http://www.deploy-project.eu Deploy] (FP7 IST project 214158), since February 2008.

More information about this platform can be found on the [http://www.event-b.org Event-B.org] web site, including user and developer documentation available as a [http://wiki.event-b.org/index.php/Main_Page Wiki].

The development of this platform is hosted by [http://sourceforge.net/projects/rodin-b-sharp SourceForge].

= Important Installation notes =
For Gnome users, recent versions of GTK introduce a bug that makes buttons not always respond to clicks. Explanations and workaround [http://wiki.event-b.org/index.php/Gnome_and_broken_buttons here].

To improve your proof experience, please install the third-party provers from Atelier B. This is only a few mouse-clicks away. Please proceed as follow:
* From the main menu bar, select '''Help > Install New Software...'''. The Install wizard opens.
* Uncheck the '''Group items by category''' check box.
* Click on the '''Work with''' dropdown list and select the Atelier B provers update site.
* Select '''Atelier B provers''' in the list (tick the left check boxes) and click '''Next'''.
* After some time, the Install window opens. Just click '''Next''', and accept the terms in the license agreement.
* Click '''Finish'''. The update manager downloads the Atelier B Provers feature.
* Finally, in the next window, click '''Yes''' to restart the platform.

</div>