CRefine

Copy to Clipboard

The user can copy the selected text in the development window or in the proof obligation window to the system clipboard. This allows users to use this text in further applications. In order to copy a text, we must select the text we want to copy, and select the Copy option from the Edit menu.
Another way to achieve this is by using the pop-up menus and selecting the "Edit -> Copy" option.
This can be achieved in both the development window (as presented above) or the proof obligations window as we show below.