Update Wiki (Disprover / Symbolic Constants / Units)
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Fixed
Details
Details
Assignee

Reporter

Priority
More fields
Story Points, Original estimate
More fields
Story Points, Original estimateCreated April 22, 2013 at 2:35 PM
Updated December 9, 2013 at 8:10 AM
Resolved December 9, 2013 at 8:09 AM
The ProB Wiki's section on Rodin need to be updated:
expand section on units by case study / examples
add section explaining symbolic constants
copy / move / link to disprover page on Event-B wiki