Rodin Platform 3.2 Release Notes - Revision history

imported>TIDTWeb: /* What's New in Rodin 3.2? */

2017-07-06T11:09:37Z

What's New in Rodin 3.2?

← Older revision		Revision as of 11:09, 6 July 2017
Line 38:		Line 38:

	* Changes to org.eventb.core.ast.FormulaFactory		* Changes to org.eventb.core.ast.FormulaFactory
	** The method isValidPredicateName(String name) has been added to the API. It tells whether the given name is a valid predicate variable name (that is any identifier name prefixed by a <tt>$</tt>)..		** The method isValidPredicateName(String name) has been added to the API. It tells whether the given name is a valid predicate variable name (that is any identifier name prefixed by a <tt>$</tt>)...

	== Installing ==		== Installing ==

imported>TIDTWeb: /* What's New in Rodin 3.2? */

2017-07-06T10:59:59Z

What's New in Rodin 3.2?

← Older revision		Revision as of 10:59, 6 July 2017
Line 38:		Line 38:

	* Changes to org.eventb.core.ast.FormulaFactory		* Changes to org.eventb.core.ast.FormulaFactory
	** The method isValidPredicateName(String name) has been added to the API. It tells whether the given name is a valid predicate variable name (that is any identifier name prefixed by a <tt>$</tt>).		** The method isValidPredicateName(String name) has been added to the API. It tells whether the given name is a valid predicate variable name (that is any identifier name prefixed by a <tt>$</tt>)..

	== Installing ==		== Installing ==

imported>Laurent: /* About */ Add MD5 sums

2015-11-05T09:42:00Z

About: Add MD5 sums

@@ Line 164: / Line 164: @@
 Rodin Platform with git commit: ecacdcb0<br/>
 User Release date : 2015/06/22.
 [[Category:Rodin Platform Release Notes]]

imported>Tommy: /* Using the automatic (and long) way */

2015-06-22T21:00:38Z

Using the automatic (and long) way

← Older revision		Revision as of 21:00, 22 June 2015
Line 59:		Line 59:
	Select Rodin 3.2 update and accept the terms of the license		Select Rodin 3.2 update and accept the terms of the license
	Go to take a coffee...		Go to take a coffee...
	Restart your platform to apply changes ~~and Rodin 3.2 should be started.~~		Restart your platform to apply changes

	==== Using a local archive (fast method) ====		==== Using a local archive (fast method) ====

imported>Tommy: /* Using a local archive (fast method) */

2015-06-22T20:58:31Z

Using a local archive (fast method)

← Older revision		Revision as of 20:58, 22 June 2015
Line 66:		Line 66:
	launch Rodin 3.1		launch Rodin 3.1
	Help > Install New Software... > Add... > enter a name (for instance "Rodin 3.2") then		Help > Install New Software... > Add... > enter a name (for instance "Rodin 3.2") then
	Archive... > select the rodin-2.8-repo.zip archive		Archive... > select the rodin-3.2-repo.zip archive
	Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped		Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped
	set options in the bottom of the page:		set options in the bottom of the page:

imported>Tommy: /* Upgrading from Rodin 3.1 */

2015-06-22T20:56:11Z

Upgrading from Rodin 3.1

← Older revision		Revision as of 20:56, 22 June 2015
Line 54:		Line 54:

	=== Upgrading from Rodin 3.1 ===		=== Upgrading from Rodin 3.1 ===

			==== Using the automatic (and long) way ====
			Click on Help > Check for Updates
			Select Rodin 3.2 update and accept the terms of the license
			Go to take a coffee...
			Restart your platform to apply changes and Rodin 3.2 should be started.

			==== Using a local archive (fast method) ====

	download archive rodin-3.2-repo.zip		download archive rodin-3.2-repo.zip

imported>Tommy: /* About */

2015-06-22T20:10:33Z

About

← Older revision		Revision as of 20:10, 22 June 2015
Line 154:		Line 154:

	== About ==		== About ==
	Rodin Platform with git commit: ~~{{TODO}}~~<br/>		Rodin Platform with git commit: ecacdcb0<br/>
	~~Developer~~ Release date : ~~{{TODO}}<br~~/>		User Release date : 2015/06/22.
	~~User Release date : {{TODO}}~~.

	[[Category:Rodin Platform Release Notes]]		[[Category:Rodin Platform Release Notes]]

imported>Tommy: /* Upgrading from Rodin 3.0 */

2015-06-19T13:38:25Z

Upgrading from Rodin 3.0

← Older revision		Revision as of 13:38, 19 June 2015
Line 48:		Line 48:
	=== Upgrading from Rodin 3.0 ===		=== Upgrading from Rodin 3.0 ===

	Rodin 3.2 is based on Eclipse 4, whereas Rodin 3.0 was based on Eclipse 3.		Rodin 3.2 is based on Eclipse 4, whereas Rodin 3.0 was based on Eclipse 3.<br>
	This change makes it impossible to upgrade from 3.0 to 3.2.		This change makes it impossible to upgrade from 3.0 to 3.2.<br>
	Technically speaking, it's because of hidden package dependencies in Eclipse 4 that are not automatically discovered by the update manager.		Technically speaking, it's because of hidden package dependencies in Eclipse 4 that are not automatically discovered by the update manager.<br>
	Thus, Rodin 3.2 must be [[#Downloading\|downloaded]].		Thus, Rodin 3.2 must be [[#Downloading\|downloaded]].<br>

	=== Upgrading from Rodin 3.1 ===		=== Upgrading from Rodin 3.1 ===

imported>Tommy: /* Upgrading from Rodin 3.1 */

2015-06-19T13:38:06Z

Upgrading from Rodin 3.1

imported>Tommy: /* Upgrading from Rodin 3.0 */

2015-06-18T17:53:04Z

Upgrading from Rodin 3.0

@@ Line 52: / Line 52: @@
 Technically speaking, it's because of hidden package dependencies in Eclipse 4 that are not automatically discovered by the update manager.
 Thus, Rodin 3.2 must be [[#Downloading|downloaded]].
 == Requirements - Compatibility ==

← Older revision		Revision as of 13:38, 19 June 2015
Line 55:		Line 55:
	=== Upgrading from Rodin 3.1 ===		=== Upgrading from Rodin 3.1 ===

	download archive rodin-3.2-repo.zip		download archive rodin-3.2-repo.zip
	launch Rodin 3.1		launch Rodin 3.1
	Help > Install New Software... > Add... > enter a name (for instance "Rodin 3.2") then		Help > Install New Software... > Add... > enter a name (for instance "Rodin 3.2") then
	Archive... > select the rodin-2.8-repo.zip archive		Archive... > select the rodin-2.8-repo.zip archive
	Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped		Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped
	set options in the bottom of the page:		set options in the bottom of the page:
	check		check
	"Show only the latest versions of available software"		"Show only the latest versions of available software"
	"Hide items that are already installed"		"Hide items that are already installed"
	uncheck		uncheck
	"Contact all update sites..."		"Contact all update sites..."
	the central area should now list many entries		the central area should now list many entries
	select "Rodin Platform", click "Next"		select "Rodin Platform", click "Next"
	a message informs "Your original request has been modified. See the details."		a message informs "Your original request has been modified. See the details."
	"Rodin Platform" is already installed, so an update will be performed instead.		"Rodin Platform" is already installed, so an update will be performed instead.
	click Next, accept license, finish and restart		click Next, accept license, finish and restart

	== Requirements - Compatibility ==		== Requirements - Compatibility ==