Tutorial Rodin Exporting: Difference between revisions
Created page with 'Category:User Manual == Introduction == Many features of ProB are currently only available in the ProB Tcl/Tk or the [[Using_the_Command-Line_Version_of_ProB|probcli comma…' |
(No difference)
|
Revision as of 07:15, 25 February 2012
Introduction
Many features of ProB are currently only available in the ProB Tcl/Tk or the probcli command-line version. Luckily you can export Rodin models for use with those tools. Below we explain how.
Exporting for ProB Classic
Start by right clicking (control Click on the Mac) on the machine or context in the "Event-B Explorer" view you wish to export and select "ProB Classic.../Export":
