Search results
From Event-B
Jump to navigationJump to searchCreate the page "Rodin Platform Release Notes" on this wiki! See also the search results found.
Page title matches
- == What's New in Rodin 1.1? == * [[Rodin_Keyboard | Rodin Keyboard]]9 KB (1,298 words) - 10:06, 28 July 2010
- == What's New in Rodin 1.2? == :In the previous release, it was possible to mark an Event-B machine/context as generated, in order11 KB (1,488 words) - 10:06, 28 July 2010
- ...ble with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility. See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].651 bytes (84 words) - 18:41, 22 February 2011
- == What's New in Rodin 1.3? == ...sing only'''. Project subfolders and their contents are now considered non Rodin contents. As a consequence, models placed in subfolders are not checked for12 KB (1,642 words) - 13:21, 28 July 2010
- For information on main changes since Rodin 1.3, or about available plug-ins, see [[Rodin_Platform_2.0_Release_Notes]]. == What's New in Rodin 2.0.1? ==2 KB (248 words) - 15:58, 16 November 2010
- == What's New in Rodin 2.0? == :'''Mathematical Extensions'''. Rodin was extended to allow definition of basic predicates, new operators or new15 KB (2,008 words) - 15:34, 10 January 2011
- Rodin 2.1.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.1.1 ? ==3 KB (395 words) - 13:15, 1 June 2011
- == What's New in Rodin 2.1? == ...e already part of this release which affect the overall performance of the platform.10 KB (1,277 words) - 13:45, 26 July 2011
- ...tirely fix the bug described below, use [[Rodin_Platform_2.2_Release_Notes|Rodin 2.2.2]] instead ! Rodin 2.2.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla3 KB (398 words) - 15:31, 22 July 2011
- Rodin 2.2.2 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.2.2 ? ==4 KB (515 words) - 08:41, 1 August 2011
- == What's New in Rodin 2.2? == ...rmance.''' The build time has been decreased by about 40% on average since Rodin 2.0.10 KB (1,354 words) - 13:31, 1 July 2011
- == What's New in Rodin 2.3? == ...your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).11 KB (1,401 words) - 09:39, 8 November 2011
- == What's New in Rodin 2.4? == From this release on, the Rodin platform is also provided for [[Rodin 64 bit|64-bit]] Windows and Linux OSes.11 KB (1,542 words) - 08:35, 1 March 2012
- == What's New in Rodin 2.5? == ...s''': it will be possible to upgrade to further releases of the core Rodin platform directly from the tool.11 KB (1,478 words) - 17:32, 2 May 2012
- == What's New in Rodin 2.6? == ** The Rodin Editor that is part of the Rodin core platform since version 2.4 has been improved for a better modelling experience.<br>10 KB (1,328 words) - 16:14, 3 August 2012
- == What's New in Rodin 2.7 == Rodin 2.7 is a maintenance release including most of all bug fixes.10 KB (1,301 words) - 07:11, 29 August 2013
- == What's New in Rodin 2.8 == Rodin 2.8 is a maintenance release including most of all bug fixes.6 KB (899 words) - 16:25, 9 July 2014
- For developers, see [[Rodin 3.0 Plug-in Migration Guide]]. == What's New in Rodin 3.0? ==8 KB (1,195 words) - 16:35, 9 July 2014
- == What's New in Rodin 3.1? == *'''Show/Hide''' elements inherited from abstractions in Rodin Editor (abstract invariants/guards/…):6 KB (909 words) - 13:48, 17 December 2014
- == What's New in Rodin 3.2? == Rodin 3.2 is mainly a corrective version of the Rodin platform which solves stability and usability issues.9 KB (1,317 words) - 11:09, 6 July 2017
Page text matches
- ...ble with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility. See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].651 bytes (84 words) - 18:41, 22 February 2011
- == Current Release == ...Notes|3.8]]. It has been published on 2023-04-03. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.8_Release_4 KB (532 words) - 06:51, 4 April 2023
- ...tirely fix the bug described below, use [[Rodin_Platform_2.2_Release_Notes|Rodin 2.2.2]] instead ! Rodin 2.2.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla3 KB (398 words) - 15:31, 22 July 2011
- * Clone the [https://sourceforge.net/p/rodin-b-sharp/theory git repository] from Sourceforge ...ar/tmp</code>: if this location is not available, or if another version of Rodin is should be targeted, edit the <code>.target</code> file accordingly3 KB (394 words) - 07:15, 15 July 2021
- Rodin 2.2.2 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.2.2 ? ==4 KB (515 words) - 08:41, 1 August 2011
- Rodin 2.1.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.1.1 ? ==3 KB (395 words) - 13:15, 1 June 2011
- Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate Release compatible with version 2.7.x and 2.8.x of the platform.3 KB (343 words) - 10:21, 25 November 2014
- For information on main changes since Rodin 1.3, or about available plug-ins, see [[Rodin_Platform_2.0_Release_Notes]]. == What's New in Rodin 2.0.1? ==2 KB (248 words) - 15:58, 16 November 2010
- The purpose of the platform corrective and evolutive maintenance is to address bugs and feature request The noticeable new features in the main platform for the past year are listed below:7 KB (963 words) - 11:30, 27 January 2010
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info4 KB (475 words) - 18:40, 22 February 2011
- The main goal of the platform corrective and evolutive maintenance is to fix the listed known bugs, and i ...list below gives an overwiew of the noteworthy features added in the main platform during the past year:9 KB (1,423 words) - 16:28, 14 November 2011
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info6 KB (746 words) - 16:17, 24 January 2012
- # Download Rodin for your platform. # Start Rodin from the folder where you extracted the zip file in the previous step.5 KB (720 words) - 15:20, 4 July 2013
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info7 KB (942 words) - 14:03, 3 October 2011
- ...ments the procedure followed for building the binary packages of the Rodin platform that are distributed on SourceForge. The build is done in two steps # Build the platform headless from this set of sources using Apache Ant.6 KB (928 words) - 15:50, 11 September 2020
- Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014 A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-d6 KB (945 words) - 12:22, 27 January 2015
- == What's New in Rodin 3.6? == Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 204 KB (640 words) - 14:09, 25 May 2021
- The Event-B model decomposition is a new feature in the Rodin platform. ...ated in the ''Event build-up'' slide of the Wright presentation during the Rodin Workshop 2009.6 KB (825 words) - 13:27, 27 January 2010
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,053 words) - 09:10, 4 January 2012
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,106 words) - 08:35, 17 May 2012
