Rodin Platform 2.2 Release Notes - Revision history

imported>Tommy at 13:31, 1 July 2011

2011-07-01T13:31:42Z

← Older revision		Revision as of 13:31, 1 July 2011
Line 55:		Line 55:
	[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Download Rodin 2.2 now !]		[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Download Rodin 2.2 now !]

	== External ~~plug~~-ins ==		== External Plug-ins ==

	{{:Rodin_Platform_2.2_External_Plug-ins}}		{{:Rodin_Platform_2.2_External_Plug-ins}}

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

2011-06-01T14:49:23Z

What's New in Rodin 2.2?

← Older revision		Revision as of 14:49, 1 June 2011
Line 12:		Line 12:
	* Changes for plugin-developers		* Changes for plugin-developers
	:'''Proof storage''' has evolved with backward compatibility: it is transparent for common proof access (getting the proof tree/skeleton). However, for a plug-in that would access proofs using directly the database - which is highly discouraged, please note that IPRProofRule.getElementName() does no more contain a reasoner id, but instead a reference to a IPRReasoner, a newly introduced proof element type. See [[Proof Dependencies and Reasoner Conflicts]].		:'''Proof storage''' has evolved with backward compatibility: it is transparent for common proof access (getting the proof tree/skeleton). However, for a plug-in that would access proofs using directly the database - which is highly discouraged, please note that IPRProofRule.getElementName() does no more contain a reasoner id, but instead a reference to a IPRReasoner, a newly introduced proof element type. See [[Proof Dependencies and Reasoner Conflicts]].
	:'''Signature''': optionally, a reasoner may now implement the interface '''ISignatureReasoner'''. It is designed for those whose behaviour evolves during a session. A signature represents a single reasoner behaviour. When present, the signature is stored in proofs. These proofs are invalidated when the signature changes (detected at build time).		:'''Signature''': optionally, a reasoner may now implement the interface ''ISignatureReasoner''. It is designed for those whose behaviour evolves during a session. A signature represents a single reasoner behaviour. When present, the signature is stored in proofs. These proofs are invalidated when the signature changes (detected at build time).
	:'''Extensible Refinement''': external plug-ins can now contribute to the "Refine" action which produces a new component from an existing one. It replaces the former non extensible actions ''Refine'' and ''Extend'' (see [[Extending Refinement Actions]]).		:'''Extensible Refinement''': external plug-ins can now contribute to the "Refine" action which produces a new component from an existing one. It replaces the former non extensible actions ''Refine'' and ''Extend'' (see [[Extending Refinement Actions]]).

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

2011-06-01T14:48:50Z

What's New in Rodin 2.2?

← Older revision		Revision as of 14:48, 1 June 2011
Line 5:		Line 5:
	:'''Improved general platform performance.''' The build time has been decreased by about 40% on average since Rodin 2.0.		:'''Improved general platform performance.''' The build time has been decreased by about 40% on average since Rodin 2.0.
	:See: [[Rodin Performances]]		:See: [[Rodin Performances]]

	* Modelling
	~~:{{TODO}}~~

	* Proving		* Proving
	:'''New Tactics''', such as ''Negation Normal Form'', ''Generalized Modus Ponens'', ''Case distinction from implication''.		:'''New Tactics''', such as ''Negation Normal Form'', ''Generalized Modus Ponens'', ''Case distinction from implication''.
			:'''Highlight''' button, that shows occurrences of the selected text in proving perspective views.

	* Changes for plugin-developers		* Changes for plugin-developers
	:'''Proof storage''' has evolved with backward compatibility: it is transparent for common proof access (getting the proof tree/skeleton). However, for a plug-in that would access proofs using directly the database - which is highly discouraged, please note that IPRProofRule.getElementName() does no more contain a reasoner id, but instead a reference to a IPRReasoner, a newly introduced proof element type. See [[Proof Dependencies and Reasoner Conflicts]].		:'''Proof storage''' has evolved with backward compatibility: it is transparent for common proof access (getting the proof tree/skeleton). However, for a plug-in that would access proofs using directly the database - which is highly discouraged, please note that IPRProofRule.getElementName() does no more contain a reasoner id, but instead a reference to a IPRReasoner, a newly introduced proof element type. See [[Proof Dependencies and Reasoner Conflicts]].
	:* '''Signature''': optionally, a reasoner may now implement the interface '''ISignatureReasoner'''. It is designed for those whose behaviour evolves during a session. A signature represents a single reasoner behaviour. When present, the signature is stored in proofs. These proofs are invalidated when the signature changes (detected at build time).		:'''Signature''': optionally, a reasoner may now implement the interface '''ISignatureReasoner'''. It is designed for those whose behaviour evolves during a session. A signature represents a single reasoner behaviour. When present, the signature is stored in proofs. These proofs are invalidated when the signature changes (detected at build time).
	:* External plug-ins can now contribute to the "Refine" action which produces a new component from an existing one. It replaces the former non extensible actions ''Refine'' and ''Extend''.		:'''Extensible Refinement''': external plug-ins can now contribute to the "Refine" action which produces a new component from an existing one. It replaces the former non extensible actions ''Refine'' and ''Extend'' (see [[Extending Refinement Actions]]).

	== Requirements ==		== Requirements ==

imported>Nicolas: /* Known Issues */

2011-06-01T14:00:45Z

Known Issues

@@ Line 92: / Line 92: @@
 == Known Issues ==
-{{TODO | COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>
 [https://sourceforge.net/tracker/?group_id=108850&atid=651669&status=1 Bugs on SourceForge]
 == Disclaimer ==

imported>Nicolas: /* Fixed Bugs */

2011-06-01T13:58:54Z

Fixed Bugs

@@ Line 61: / Line 61: @@
 {{:Rodin_Platform_2.2_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-06-01T13:41:50Z

Known Issues

← Older revision		Revision as of 13:41, 1 June 2011
Line 66:		Line 66:
	== Known Issues ==		== Known Issues ==
	{{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).}}~~
			[https://sourceforge.net/tracker/?group_id=108850&atid=651669&status=1 Bugs on SourceForge]

	== Disclaimer ==		== Disclaimer ==

imported>Nicolas: /* About */

2011-06-01T13:33:22Z

About

← Older revision		Revision as of 13:33, 1 June 2011
Line 74:		Line 74:
	Rodin Platform up to r11814		Rodin Platform up to r11814

	Developer Release date : 01/06/2011.		Developer Release date : 17/05/2011 (2.2RC1).

	User Release date : 03/06/2011.		User Release date : 01/06/2011.

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

imported>Nicolas: /* External plug-ins */

2011-06-01T13:17:39Z

External plug-ins

← Older revision		Revision as of 13:17, 1 June 2011
Line 58:		Line 58:

	== External plug-ins ==		== External plug-ins ==
	~~{{TODO \| Link to the external page for plug-ins}}<br>~~
	~~Link of the form:~~		{{:Rodin_Platform_2.2_External_Plug-ins}}
	~~<nowiki>~~{{:Rodin_Platform_2.2_External_Plug-ins}}~~</nowiki>~~

	== Fixed Bugs ==		== Fixed Bugs ==

imported>Nicolas: /* Downloading */

2011-06-01T13:16:11Z

Downloading

← Older revision		Revision as of 13:16, 1 June 2011
Line 54:		Line 54:

	=== Downloading ===		=== Downloading ===
	~~{{TODO \| Add here a link to download the platform~~.}}
			[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Download Rodin 2.2 now !]

	== External plug-ins ==		== External plug-ins ==

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

2011-06-01T13:09:57Z

Upgrading from Rodin 2.1.x

← Older revision		Revision as of 13:09, 1 June 2011
Line 34:		Line 34:

	Use rodin-2.2-repo.zip, check "contact all update sites" (because a new version of Eclipse is used).		Use rodin-2.2-repo.zip, check "contact all update sites" (because a new version of Eclipse is used).

			* download archive [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/rodin-2.2-repo.zip/download rodin-2.2-repo.zip]
			* launch Rodin 2.1.x
			* Help > Install New Software... > Add... > enter a name (for instance "Rodin 2.2") then
			: Archive... > select the rodin-2.2-repo.zip archive
			: 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:
			:* check
			:** "Show only the latest versions of available software"
			:** "Hide items that are already installed"
			:** "Contact all update sites..."
			:* uncheck
			:** "Group items by category"
			: the central area should now list 5 entries
			* select "Rodin Platform", click "Next"
			: a message informs "Your original request has been modified. See the details."
			: "Rodin Platform" is already installed, so an update will be performed instead.
			* click Next, accept license, finish and restart

	=== Downloading ===		=== Downloading ===