Rodin Platform 2.1 Release Notes - Revision history

imported>Tommy at 13:45, 26 July 2011

2011-07-26T13:45:47Z

← Older revision		Revision as of 13:45, 26 July 2011
Line 7:		Line 7:
	:[[Image:Rodin_Performances_Core_perf_simple3.png\|700px\|link=Rodin Performances\|General Platform Performances]]		:[[Image:Rodin_Performances_Core_perf_simple3.png\|700px\|link=Rodin Performances\|General Platform Performances]]

	:'''New mechanism for automatic tactics preferences.''' It is now possible to define profiles (e.g. ordered lists) of tactics to be used in post or automatic tactics at both workspace and/or project level. ~~A mechanism is also provided in order to export and share these~~ profiles.		:'''New mechanism for automatic tactics preferences.''' It is now possible to define profiles (e.g. ordered lists) of tactics to be used in post or automatic tactics at both workspace and/or project level. Exported projects contain the profiles defined at project level.
	:See: [[Rodin_Proving_Perspective#Auto-tactic_and_Post-tactic\|How to use it]] and [[Preferences_for_the_automatic_tactics \| the page on the work done about Preferences for the automatic tactics]]		:See: [[Rodin_Proving_Perspective#Auto-tactic_and_Post-tactic\|How to use it]] and [[Preferences_for_the_automatic_tactics \| the page on the work done about Preferences for the automatic tactics]]

2011-03-29T08:38:53Z

Requirements

← Older revision		Revision as of 08:38, 29 March 2011
Line 20:		Line 20:

	* 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. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

			* Configuration
			** Only a '''32-bit''' version of the Rodin platform is provided for '''PC'''s
			** Only a '''64-bit''' version of the Rodin platform is provided for '''MAC'''

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

2011-03-18T15:46:31Z

Downloading

← Older revision		Revision as of 15:46, 18 March 2011
Line 25:		Line 25:

	== Downloading ==		== Downloading ==
	[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/2.1/ Dowload now!]		[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/2.1/ Dowload now!] <br>
			An more recent platform than Rodin 2.1 exists. More info [[Rodin_Platform_2.1.1_Release_Notes \| here]]

	== Fixed Bugs and Implemented Feature requests ==		== Fixed Bugs and Implemented Feature requests ==

2011-02-15T14:25:06Z

Downloading

← Older revision		Revision as of 14:25, 15 February 2011
Line 25:		Line 25:

	== Downloading ==		== Downloading ==
	~~{{TODO \| Add here a link to download the platform~~.}}		[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/2.1/ Dowload now!]

	== Fixed Bugs and Implemented Feature requests ==		== Fixed Bugs and Implemented Feature requests ==

2011-02-09T09:59:24Z

About

← Older revision		Revision as of 09:59, 9 February 2011
Line 155:		Line 155:

	== About ==		== About ==
	Rodin Platform up to ~~rxxxx~~ <br>		Rodin Platform up to r10764 <br>
	Developer Release date : 24/01/2011 (2.1RC1).<br>		Developer Release date : 24/01/2011 (2.1RC1).<br>
	User Release date : 08/02/2011.<br>		User Release date : 08/02/2011.<br>

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

2011-02-07T13:11:35Z

About

← Older revision		Revision as of 13:11, 7 February 2011
Line 157:		Line 157:
	Rodin Platform up to rxxxx <br>		Rodin Platform up to rxxxx <br>
	Developer Release date : 24/01/2011 (2.1RC1).<br>		Developer Release date : 24/01/2011 (2.1RC1).<br>
	User Release date : 04/02/2011.<br>		User Release date : 08/02/2011.<br>

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

2011-02-04T09:58:31Z

Requirements

← Older revision		Revision as of 09:58, 4 February 2011
Line 19:		Line 19:
	== Requirements ==		== Requirements ==

	* To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin).~~<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. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].
	: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.~~<br>~~
	: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].

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

2011-02-04T09:52:30Z

Requirements

← Older revision		Revision as of 09:52, 4 February 2011
Line 23:		Line 23:
	:However, to enjoy these functionnalities, you need to install the Brave Sans Mono font on your system.<br>		: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].

	~~{{TODO \| COPY REQUIREMENTS FROM PREVIOUS PAGES / VERIFY}}<br>~~
	~~{{TODO \| Inform here of some specific system requirements (version of Java, etc).}}~~

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

2011-02-04T09:51:56Z

Known Issues

@@ Line 74: / Line 74: @@
 == Known Issues ==
-{{TODO | COPY KNOWN ISSUES FROM PREVIOUS PAGES / VERIFY}}<br>
 * If you encounter problem in the display of mathematical symbols, please note that installing Rodin's Brave Sans Mono font on your system could solve the issue. You can find this font [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here]
 * The list of the currently open bugs is given below:
-{{TODO | Add here a link to the SourceForge Bugs page, after filtering bugs (Assignee Any, Status Open, Category Any, Group 1.2).}}
+   Bug 1441596: Tool conflicts caused by identically named files
 == Disclaimer ==

2011-02-04T09:51:03Z

Fixed Bugs

← Older revision		Revision as of 09:51, 4 February 2011
Line 33:		Line 33:
	{{TODO \| Add here a link to download the platform.}}		{{TODO \| Add here a link to download the platform.}}

	== Fixed Bugs ==		== Fixed Bugs and Implemented Feature requests ==

	Bug 1766826: Error messages from math parser incomprehensible		Bug 1766826: Error messages from math parser incomprehensible