Rodin Platform 1.3.1 Release Notes: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal |
imported>Pascal |
||
| Line 1: | Line 1: | ||
See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]]. | See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]]. | ||
== Downloading == | |||
[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.3.1/ Download Now!] | |||
== Bugs Fixed == | == Bugs Fixed == | ||
Revision as of 15:25, 16 June 2010
See the Rodin Platform 1.3 Release Notes.
Downloading
Bugs Fixed
Bug 2995930: Unsound simplification Bug 2999977: Can not save proof after functional image simplification Bug 3006807: NPE in FunOVR
