Rodin Platform 2.7 Release Notes - Revision history

imported>Laurent: /* What's New in Rodin 2.7 */

2013-08-29T07:11:19Z

What's New in Rodin 2.7

← Older revision		Revision as of 07:11, 29 August 2013
Line 4:		Line 4:

	Rodin 2.7 is a maintenance release including most of all bug fixes.		Rodin 2.7 is a maintenance release including most of all bug fixes.
	It also includes internal code refactoring in preparation of Rodin 3.0 ~~expected by end January 2013~~.		It also includes internal code refactoring in preparation of Rodin 3.0.

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

imported>Tommy at 11:08, 6 November 2012

2012-11-06T11:08:19Z

← Older revision		Revision as of 11:08, 6 November 2012
Line 1:		Line 1:
	~~<h2>RODIN 2.7 will be released on 2012-11-05.</h2>~~

	{{TOCright}}		{{TOCright}}

imported>Tommy: /* About */

2012-11-06T09:37:20Z

About

← Older revision		Revision as of 09:37, 6 November 2012
Line 175:		Line 175:
	Rodin Platform up to r15250.<br>		Rodin Platform up to r15250.<br>
	Developer Release date : 2012-10-18. (r15200)<br>		Developer Release date : 2012-10-18. (r15200)<br>
	User Release date : 2012-11-05.		User Release date : 2012-11-05. (r15250)

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

imported>Tommy: /* Fixed Bugs */

2012-11-06T09:36:13Z

Fixed Bugs

@@ Line 60: / Line 60: @@
 * click Next, accept license, finish and restart
-== Fixed Bugs ==
+== Fixed Bugs & Implemented Features ==
-{{TODO | WILL BE PROVIDED BY 2012-11-05}}
+   Bug 3005202: Renaming and provers
 == Known Issues ==

imported>Tommy: /* Known Issues */

2012-11-06T09:34:09Z

Known Issues

@@ Line 64: / Line 64: @@
 == Known Issues ==
-{{TODO | WILL BE PROVIDED BY 2012-11-05}}<br>
+   Bug 1441596: Tool conflicts caused by identically named files
 == Disclaimer ==

imported>Tommy: /* Requirements - Compatibility */

2012-10-31T16:09:48Z

Requirements - Compatibility

← Older revision		Revision as of 16:09, 31 October 2012
Line 19:		Line 19:
	* You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.		* You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.

	* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system.<br>		* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system.<br>You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].
	You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

	* 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 and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.		* 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 and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.

imported>Tommy: /* Requirements - Compatibility */

2012-10-31T16:09:07Z

Requirements - Compatibility

← Older revision		Revision as of 16:09, 31 October 2012
Line 19:		Line 19:
	* You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.		* You need to have a Java JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE.

	* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].		* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system.<br>
			You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

	* 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 and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.		* 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 and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.

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

2012-10-31T16:07:52Z

External plug-ins

← Older revision		Revision as of 16:07, 31 October 2012
Line 31:		Line 31:

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

	== Installing ==		== Installing ==

imported>Tommy at 14:56, 31 October 2012

2012-10-31T14:56:37Z

← Older revision		Revision as of 14:56, 31 October 2012
Line 1:		Line 1:
	<h2>RODIN 2.7 will be released on 2012-10-31.</h2>		<h2>RODIN 2.7 will be released on 2012-11-05.</h2>

	{{TOCright}}		{{TOCright}}

imported>Tommy: /* What's New in Rodin 2.7 */

2012-10-31T14:56:20Z

What's New in Rodin 2.7

← Older revision		Revision as of 14:56, 31 October 2012
Line 5:		Line 5:
	== What's New in Rodin 2.7 ==		== What's New in Rodin 2.7 ==

	Rodin 2.7 is a maintenance release including most of all bug fixes ~~and~~ internal code refactoring ~~for more stability and~~ in preparation of Rodin 3.0 expected by end January 2013.		Rodin 2.7 is a maintenance release including most of all bug fixes.
			It also includes internal code refactoring in preparation of Rodin 3.0 expected by end January 2013.

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