Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

Update Wiki (Disprover / Symbolic Constants / Units)

Description

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

Environment

None

Gliffy Diagrams

Activity

Show:
Fixed

Details

Assignee

Reporter

Priority

More fields

Created April 22, 2013 at 2:35 PM
Updated December 9, 2013 at 8:10 AM
Resolved December 9, 2013 at 8:09 AM
Configure