CRefine

Save/Open Development

At any time in a development, the user has the choice to save it. For that, he must choose the Save (or Save As) option in the Development menu. Yet another way to achieve this is to click on the button.
A dialog box will be shown. The user must type the file name and choose a destination folder, where the XML file containing the development will be saved.
In order to open a previously saved refinement, the user can choose the Open option it the Development menu or click on the button . After opening the saved development, CRefine checks the version compatibility with the chosen file.
A dialog box, very similar to the one used for Saving developments will be displayed. The user must choose the XML file that contains the development. After choosing the file and clicking on open, the development will be loaded; a progress bar will display the progress to the user.
After loading the file, the development window, the proof obligations window, and the code window will be updated. The user may continue the development.