Rodin Platform 2.0 Release Notes - Revision history

imported>Tommy at 15:34, 10 January 2011

2011-01-10T15:34:29Z

← Older revision		Revision as of 15:34, 10 January 2011
Line 15:		Line 15:
	::See [[Mathematical extensions]]		::See [[Mathematical extensions]]

	:'''Better platform's behaviour'''. Some cumbersome behaviours ~~where~~ improved:		:'''Better platform's behaviour'''. Some cumbersome behaviours were improved:
	::- It is now possible to display statistics for a project without expanding it first.		::- It is now possible to display statistics for a project without expanding it first.
	::- The view on selected hypotheses is now correctly scrolled to bottom, to display freshly added ones.		::- The view on selected hypotheses is now correctly scrolled to bottom, to display freshly added ones.

imported>Tommy at 10:49, 6 December 2010

2010-12-06T10:49:21Z

← Older revision		Revision as of 10:49, 6 December 2010
Line 92:		Line 92:

	== External Plug-ins ==		== External Plug-ins ==
			{{:Rodin_Platform_2.0_External_Plug-ins}}

	~~{{:~~Rodin_Platform_2.0_External_Plug-ins}}		[[Rodin_Platform_2.0_External_Plug-ins \| > Link to the External plug-in's page <]]

	== Downloading ==		== Downloading ==

imported>Tommy: Extracted external plug-ins section to a page

2010-12-01T14:28:18Z

Extracted external plug-ins section to a page

@@ Line 92: / Line 92: @@
 == External Plug-ins ==
-=== Rodin Update Site ===
+{{:Rodin_Platform_2.0_External_Plug-ins}}
 == Downloading ==

imported>Tommy: /* Other Updates Sites */

2010-12-01T14:11:35Z

Other Updates Sites

← Older revision		Revision as of 14:11, 1 December 2010
Line 132:		Line 132:
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| christope.metayer<AT>animb.org \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| christope<DOT>metayer<AT>animb<DOT>org \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)

imported>Tommy: /* Other Updates Sites */

2010-12-01T14:10:31Z

Other Updates Sites

← Older revision		Revision as of 14:10, 1 December 2010
Line 132:		Line 132:
	! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info		! scope=col \| \|\|Plug-in name \|\| Version \|\| Status \|\| Release Date \|\| Contact \|\| Additional info
	\|-		\|-
	\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>		\| [[Image:AnimB.png\|30px]] \|\| [[AnimB]] \|\| 0.2.1 \|\| <span style="color:#006400">available</span> \|\| \|\| christope.metayer<AT>animb.org \|\| Use the update site <tt>http://www.animb.org/updatesite</tt>
	\|-		\|-
	\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)		\| \|\|[[Camille_Editor\|Camille]] \|\| 2.0.1 \|\| <span style="color:#006400">available</span> \|\| \|\| \|\| Use the ProB update site. You need to add the Helios update site (see Event-B EMF framework 3.2.0)

imported>Tommy: Created a table for external plug-in releses.

2010-12-01T14:07:20Z

Created a table for external plug-in releses.

@@ Line 95: / Line 95: @@
 === Rodin Update Site ===
-*UML-B 2.0.1 is now available for the Rodin Platform 2.0.0.
+=== B Method Update Site ===
-=== B Method Update Site ===
+{{SimpleHeader}}
-*Atelier-B provers (version 1.2.0)
+|-
 === Other Updates Sites ===
-*AnimB 0.2.1 is now available for the Rodin Platform 2.0. Use the update site <tt>http://www.animb.org/updatesite</tt>.
+{{SimpleHeader}}
-*Camille 2.0.1 is now available on the ProB update site. Note that you need to add the Helios update site (see Event-B EMF framework 3.2.0). See also [[Camille_Editor]] for installation instructions.
+|-
-*Modularisation 1.4.2 is now available for the Rodin Platform 2.0. Use the update site <tt>http://www.iliasov.org/modplugin</tt>.
+! scope=col | ||Plug-in name || Version || Status || Release Date || Contact || Additional info
-*Group refinement 0.1.1 is compatible with Rodin 2.0. Install from <tt>http://iliasov.org/refplugin</tt>
+|-
-*ProB is '''not''' yet available for Rodin 2.0. We are actively working on the release.
+| [[Image:AnimB.png|30px]] || [[AnimB]] || 0.2.1 || <span style="color:#006400">available</span> || || || Use the update site <tt>http://www.animb.org/updatesite</tt>
 == Downloading ==

imported>Nicolas: Added link to share theories

2010-11-16T14:33:47Z

Added link to share theories

← Older revision		Revision as of 14:33, 16 November 2010
Line 4:		Line 4:

	See also [[Exporting and importing archives containing theories]].		See also [[Exporting and importing archives containing theories]].

			See also [[Sharing theories]].

	== What's New in Rodin 2.0? ==		== What's New in Rodin 2.0? ==

imported>Pascal: /* External Plug-ins */

2010-11-16T13:17:09Z

External Plug-ins

← Older revision		Revision as of 13:17, 16 November 2010
Line 94:		Line 94:
	=== Rodin Update Site ===		=== Rodin Update Site ===

	*UML-B 2.0.1 is now available for the Rodin Platform 2.0.0		*UML-B 2.0.1 is now available for the Rodin Platform 2.0.0.
	*Event-B EMF framework 3.2.1 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.		*Event-B EMF framework 3.2.1 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
	*Rose: EMF based structured editor 1.1.0 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.		*Rose: EMF based structured editor 1.1.0 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
Line 102:		Line 102:
	* [[Refactoring Framework \| Refactory plug-in (version 1.0.0)]] is now available for the Rodin 2.0.0.		* [[Refactoring Framework \| Refactory plug-in (version 1.0.0)]] is now available for the Rodin 2.0.0.
	* [[Decomposition Plug-in User Guide \| Decomposition plug-in (version 1.1.0)]] is now available for the Rodin 2.0.0.		* [[Decomposition Plug-in User Guide \| Decomposition plug-in (version 1.1.0)]] is now available for the Rodin 2.0.0.
			*Project Diagram is now available for the Rodin Platform 2.0.0.

	=== B Method Update Site ===		=== B Method Update Site ===

imported>Daniel: Added comment for ProB

2010-11-15T13:10:35Z

Added comment for ProB

← Older revision		Revision as of 13:10, 15 November 2010
Line 111:		Line 111:
	*Modularisation 1.4.2 is now available for the Rodin Platform 2.0. Use the update site <tt>http://www.iliasov.org/modplugin</tt>.		*Modularisation 1.4.2 is now available for the Rodin Platform 2.0. Use the update site <tt>http://www.iliasov.org/modplugin</tt>.
	*Group refinement 0.1.1 is compatible with Rodin 2.0. Install from <tt>http://iliasov.org/refplugin</tt>		*Group refinement 0.1.1 is compatible with Rodin 2.0. Install from <tt>http://iliasov.org/refplugin</tt>
			*ProB is '''not''' yet available for Rodin 2.0. We are actively working on the release.

	== Downloading ==		== Downloading ==

imported>Renato: /* Rodin Update Site */

2010-11-11T15:59:17Z

Rodin Update Site

← Older revision		Revision as of 15:59, 11 November 2010
Line 99:		Line 99:
	*Records 1.0.1 is now available for the Rodin Platform 2.0.0 (this release includes EMF and Refactory support for records) Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.		*Records 1.0.1 is now available for the Rodin Platform 2.0.0 (this release includes EMF and Refactory support for records) Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
	*Teamwork 1.1.0 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.		*Teamwork 1.1.0 is now available for the Rodin Platform 2.0.0 Note that you need to add the Helios update site: http://download.eclipse.org/releases/helios/ before installing this plug-in.
			* [[Parallel_Composition_using_Event-B \| Shared Event Composition plug-in (version 1.2)]] is now available for the Rodin 2.0.0.
			* [[Refactoring Framework \| Refactory plug-in (version 1.0.0)]] is now available for the Rodin 2.0.0.
			* [[Decomposition Plug-in User Guide \| Decomposition plug-in (version 1.1.0)]] is now available for the Rodin 2.0.0.

	=== B Method Update Site ===		=== B Method Update Site ===