Difference between revisions of "Rodin Platform 1.3.1 Release Notes"
From Event-B
Jump to navigationJump to searchimported>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
