Rodin Platform 1.2 Release Notes - Revision history

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

2010-07-28T10:06:13Z

External plug-ins

← Older revision		Revision as of 10:06, 28 July 2010
Line 32:		Line 32:
	:''eg.'' <tt>/usr/local/rodin/rodin -vm /usr/lib/jvm/ia32-java-1.5.0-sun/bin/java</tt> (You have to adjust paths to your system.)		:''eg.'' <tt>/usr/local/rodin/rodin -vm /usr/lib/jvm/ia32-java-1.5.0-sun/bin/java</tt> (You have to adjust paths to your system.)

	== External ~~plug~~-ins ==		== External Plug-ins ==
	{{TODO \| Describe here the available plug-ins, and the supported versions for this release.}}		{{TODO \| Describe here the available plug-ins, and the supported versions for this release.}}
	* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]		* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]

2010-02-05T17:05:03Z

Known Issues

← Older revision		Revision as of 17:05, 5 February 2010
Line 163:		Line 163:
	Bug 2942182: unparsing then parsing gives a different expression		Bug 2942182: unparsing then parsing gives a different expression

	[[http://sourceforge.net/tracker/?limit=10&func=&group_id=108850&atid=651669&status=1&artgroup=1050841&submit=Filter \| Post Release Bugs]]		[http://sourceforge.net/tracker/?limit=10&func=&group_id=108850&atid=651669&status=1&artgroup=1050841&submit=Filter Post Release Bugs]

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

2010-02-05T17:03:57Z

Known Issues: added link to post release bugs

← Older revision		Revision as of 17:03, 5 February 2010
Line 163:		Line 163:
	Bug 2942182: unparsing then parsing gives a different expression		Bug 2942182: unparsing then parsing gives a different expression

			[[http://sourceforge.net/tracker/?limit=10&func=&group_id=108850&atid=651669&status=1&artgroup=1050841&submit=Filter \| Post Release Bugs]]
	[[Category:Rodin Platform Release Notes]]		[[Category:Rodin Platform Release Notes]]

2010-02-05T16:57:15Z

Bugs Fixed and Feature Requests Implemented

← Older revision		Revision as of 16:57, 5 February 2010
Line 85:		Line 85:
	FR 2937100: Traces for Simplification Rewriter		FR 2937100: Traces for Simplification Rewriter
	FR 2937127: Symbol Table view		FR 2937127: Symbol Table view


	== Known Issues ==		== Known Issues ==

2010-02-05T16:56:00Z

Known Issues

← Older revision		Revision as of 16:56, 5 February 2010
Line 107:		Line 107:

	* The list of the currently open bugs is given below:		* 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		Bug 1441596: Tool conflicts caused by identically named files

2010-02-05T16:55:10Z

Downloading

← Older revision		Revision as of 16:55, 5 February 2010
Line 43:		Line 43:

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

	== Bugs Fixed and Feature Requests Implemented ==		== Bugs Fixed and Feature Requests Implemented ==

2010-02-03T13:52:10Z

External plug-ins: added paragraph: B Method Update Site

← Older revision		Revision as of 13:52, 3 February 2010
Line 36:		Line 36:
	* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]		* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]
	* [[Camille_Release_History\|Camille Text Editor Plug-in 1.1]]		* [[Camille_Release_History\|Camille Text Editor Plug-in 1.1]]

			=== B Method Update Site ===
			* [http://bmethod.com/update_site/atelierb_provers Atelier B Provers]
			* [http://bmethod.com/update_site/b2rodin B2Rodin]
			* [http://bmethod.com/update_site/brama Brama]

	== Downloading ==		== Downloading ==

2010-01-29T18:04:54Z

← Older revision		Revision as of 18:04, 29 January 2010
Line 47:		Line 47:
	Bug 1922694: Crazy Copy/Paste		Bug 1922694: Crazy Copy/Paste
	Bug 1977355: Edit tab does not reflect changes made by other programs		Bug 1977355: Edit tab does not reflect changes made by other programs
			Bug 2031274: Rename problem
	Bug 2657540: Synthesis view: elements inverted		Bug 2657540: Synthesis view: elements inverted
	Bug 2815882: Primed identifiers are allowed		Bug 2815882: Primed identifiers are allowed
Line 115:		Line 116:
	Bug 1949927: newPP is too sensitive to unused hyps		Bug 1949927: newPP is too sensitive to unused hyps
	Bug 1954442: Too many handles used by Edit page on Windows		Bug 1954442: Too many handles used by Edit page on Windows
	~~Bug 2031274: Rename problem~~
	Bug 2082375: input file write-protection a problem to Rodin		Bug 2082375: input file write-protection a problem to Rodin
	Bug 2105507: too difficult to work with explicit set expressions		Bug 2105507: too difficult to work with explicit set expressions

2010-01-29T15:57:07Z

2010-01-28T10:48:29Z

External plug-ins

← Older revision		Revision as of 10:48, 28 January 2010
Line 35:		Line 35:
	{{TODO \| Describe here the available plug-ins, and the supported versions for this release.}}		{{TODO \| Describe here the available plug-ins, and the supported versions for this release.}}
	* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]		* [[Decomposition_Release_History\|Decomposition Plug-in 1.0]]
	* [[Camille_Release_History\|Camille Text Editor Plug-in]]		* [[Camille_Release_History\|Camille Text Editor Plug-in 1.1]]

	== Downloading ==		== Downloading ==