Difference between revisions of "Rodin Platform 1.3.1 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Pascal
(No difference)

Revision as of 15:24, 16 June 2010

See the Rodin Platform 1.3 Release Notes.

Bugs Fixed

  Bug 2995930: Unsound simplification 
  Bug 2999977: Can not save proof after functional image simplification 
  Bug 3006807: NPE in FunOVR
Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Platform_1.3.1_Release_Notes&oldid=7379’