Skip to:
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.
Rodin 3.2 (Linux), ProB2 Rodin Integration 1.0.0.201512040912
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.