Rodin Platform 2.3 Release Notes - Revision history

imported>Nicolas: /* What's New in Rodin 2.3? */

2011-11-08T09:39:52Z

What's New in Rodin 2.3?

← Older revision		Revision as of 09:39, 8 November 2011
Line 10:		Line 10:

	* Proving		* Proving
	:'''Advanced Profile Customisation''': a tactic profile can now be a ''parameterization'' of a tactic (timeout, ...), or a ''combination'' of tactics and profiles (see [~~[Preferences_for_the_automatic_tactics]~~]).		:'''Advanced Profile Customisation''': a tactic profile can now be a ''parameterization'' of a tactic (timeout, ...), or a ''combination'' of tactics and profiles (see [http://handbook.event-b.org/current/html/preferences.html] at the bottom of the page).
	:: NOTE: this new feature involves internal changes in preference storage; these changes are ''backward'' compatible (one can reuse tactic preferences from Rodin 2.2.x in Rodin 2.3) but '''NOT forward compatible''': tactic preferences from Rodin 2.3 cannot be reused with Rodin less than 2.3. Hence the necessity to '''backup your workspaces''' (consider you cannot switch back your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).		:: NOTE: this new feature involves internal changes in preference storage; these changes are ''backward'' compatible (one can reuse tactic preferences from Rodin 2.2.x in Rodin 2.3) but '''NOT forward compatible''': tactic preferences from Rodin 2.3 cannot be reused with Rodin less than 2.3. Hence the necessity to '''backup your workspaces''' (consider you cannot switch back your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).
	:'''New rules''' implemented, concerning ''membership in goal'', ''function overridden by maplet'' (auto), EQL_LR applied at a single position (manual), ''Generalised Modus Ponens'' (auto)		:'''New rules''' implemented, concerning ''membership in goal'', ''function overridden by maplet'' (auto), EQL_LR applied at a single position (manual), ''Generalised Modus Ponens'' (auto)

imported>Tommy at 08:55, 4 October 2011

2011-10-04T08:55:38Z

← Older revision		Revision as of 08:55, 4 October 2011
Line 187:		Line 187:
	Rodin Platform up to r13308.<br>		Rodin Platform up to r13308.<br>
	Developer Release date : 2011/09/20.<br>		Developer Release date : 2011/09/20.<br>
	User Release date : 2011/09/30.		User Release date : 2011/10/04.

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

imported>Nicolas: /* Fixed Bugs and Implemented Feature Requests */

2011-09-30T16:31:13Z

Fixed Bugs and Implemented Feature Requests

← Older revision		Revision as of 16:31, 30 September 2011
Line 90:		Line 90:
	FR 3306228: Mapplet Overriding in Goal		FR 3306228: Mapplet Overriding in Goal
	FR 3306272: Mapplet Overriding in Goal		FR 3306272: Mapplet Overriding in Goal
	~~FR 3311392: cnbwOP <a href="http://trsuqukrailk.com/">trsuqukrailk</a>,~~
	FR 3371115: Superfluous WD strictness conditions		FR 3371115: Superfluous WD strictness conditions
	FR 3396230: Generalized Modus Ponens enhancement		FR 3396230: Generalized Modus Ponens enhancement

imported>Nicolas: /* Fixed Bugs */

2011-09-30T16:30:41Z

Fixed Bugs

@@ Line 61: / Line 61: @@
 {{:Rodin_Platform_2.3_External_Plug-ins}}
-== Fixed Bugs ==
+== Fixed Bugs and Implemented Feature Requests ==
-{{TODO | Add here a list of the fixed bugs.}}
 == Known Issues ==

imported>Nicolas: /* Known Issues */

2011-09-30T16:29:28Z

Known Issues

@@ Line 65: / Line 65: @@
 == Known Issues ==
-{{TODO | COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>
-{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
+[https://sourceforge.net/tracker/?group_id=108850&atid=651669&status=1 Bugs on SourceForge]
 ClassCastException when uninstalling a feature: this is a known eclipse bug [https://bugs.eclipse.org/bugs/show_bug.cgi?id=348986]
 == Disclaimer ==

imported>Nicolas: /* Upgrading from Rodin 2.1.x */

2011-09-30T16:02:03Z

Upgrading from Rodin 2.1.x

← Older revision		Revision as of 16:02, 30 September 2011
Line 31:		Line 31:
	== Installing ==		== Installing ==

	=== Upgrading from Rodin 2.1.x ===		=== Upgrading from Rodin 2.2.x ===

	Use rodin-2.3-repo.zip, uncheck "contact all update sites" (because the new version of Eclipse is already included in the archive).		Use rodin-2.3-repo.zip, uncheck "contact all update sites" (because the new version of Eclipse is already included in the archive).

	* download archive [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/rodin-2.3-repo.zip/download rodin-2.3-repo.zip]		* download archive [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/rodin-2.3-repo.zip/download rodin-2.3-repo.zip]
	* launch Rodin 2.1.x		* launch Rodin 2.2.x
	* Help > Install New Software... > Add... > enter a name (for instance "Rodin 2.3") then		* Help > Install New Software... > Add... > enter a name (for instance "Rodin 2.3") then
	: Archive... > select the rodin-2.3-repo.zip archive		: Archive... > select the rodin-2.3-repo.zip archive

imported>Nicolas: /* Downloading */

2011-09-30T15:22:07Z

Downloading

@@ Line 29: / Line 29: @@
 * Linux: the internal browser does not work with xulrunner-2.0 (for instance, it causes the welcome page to display a link instead of a html page); xulrunner-1.9.x must be installed.
-== Downloading ==
+== Installing ==
-{{TODO | Add here a link to download the platform.}}
 == External plug-ins ==

imported>Nicolas: /* About */

2011-09-30T14:55:38Z

About

← Older revision		Revision as of 14:55, 30 September 2011
Line 49:		Line 49:

	== About ==		== About ==
	Rodin Platform up to ~~rxxxx~~.<br>		Rodin Platform up to r13308.<br>
	Developer Release date : 2011/09/20.<br>		Developer Release date : 2011/09/20.<br>
	User Release date : 2011/09/30.		User Release date : 2011/09/30.

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

imported>Nicolas: /* Known Issues */

2011-09-29T15:04:43Z

Known Issues

← Older revision		Revision as of 15:04, 29 September 2011
Line 42:		Line 42:
	{{TODO \| COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>		{{TODO \| COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>
	{{TODO \| Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}		{{TODO \| Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}

			ClassCastException when uninstalling a feature: this is a known eclipse bug [https://bugs.eclipse.org/bugs/show_bug.cgi?id=348986]

	== Disclaimer ==		== Disclaimer ==

imported>Nicolas: /* What's New in Rodin 2.3? */

2011-09-26T16:17:37Z

What's New in Rodin 2.3?

← Older revision		Revision as of 16:17, 26 September 2011
Line 12:		Line 12:
	:'''Advanced Profile Customisation''': a tactic profile can now be a ''parameterization'' of a tactic (timeout, ...), or a ''combination'' of tactics and profiles (see [[Preferences_for_the_automatic_tactics]]).		:'''Advanced Profile Customisation''': a tactic profile can now be a ''parameterization'' of a tactic (timeout, ...), or a ''combination'' of tactics and profiles (see [[Preferences_for_the_automatic_tactics]]).
	:: NOTE: this new feature involves internal changes in preference storage; these changes are ''backward'' compatible (one can reuse tactic preferences from Rodin 2.2.x in Rodin 2.3) but '''NOT forward compatible''': tactic preferences from Rodin 2.3 cannot be reused with Rodin less than 2.3. Hence the necessity to '''backup your workspaces''' (consider you cannot switch back your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).		:: NOTE: this new feature involves internal changes in preference storage; these changes are ''backward'' compatible (one can reuse tactic preferences from Rodin 2.2.x in Rodin 2.3) but '''NOT forward compatible''': tactic preferences from Rodin 2.3 cannot be reused with Rodin less than 2.3. Hence the necessity to '''backup your workspaces''' (consider you cannot switch back your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).
	:'''New rules''' implemented, concerning ''membership in goal'' ~~and~~ ''function overridden by maplet'' (auto), EQL_LR applied at a single position (manual)		:'''New rules''' implemented, concerning ''membership in goal'', ''function overridden by maplet'' (auto), EQL_LR applied at a single position (manual), ''Generalised Modus Ponens'' (auto)

	* Changes for plugin-developers		* Changes for plugin-developers
	:switch to Eclipse 3.7		:switch to Eclipse 3.7