Skip to:

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

Export to ProB Classic does not work

Description

Right clicking a machine or context and selecting Export to ProB Classic brings up a dialog box to save an .eventb file, but no file is ever generated.

Environment

Rodin 3.2 (Linux), ProB2 Rodin Integration 1.0.0.201512040912

Gliffy Diagrams

Activity

Show:

Details

Assignee

Reporter

Affects versions

Priority

Created February 9, 2016 at 5:14 PM
Updated February 9, 2016 at 5:14 PM
Configure