Help

Tutorial Rodin Exporting

Revision as of 07:15, 25 February 2012 by Michael Leuschel (talk | contribs) (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…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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":

ProBRodinExport.png
Retrieved from "https://prob.hhu.de/w/index.php?title=Tutorial_Rodin_Exporting&oldid=1416"