Rodin Platform 1.3.1 Release Notes
From Event-B
Revision as of 15:25, 16 June 2010 by imported>Pascal (→Downloading)
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