|
The edit menu can be found on the right of File Menu in
the main menu bar and contains Undo, Redo and extra specification commands. The items in the menu are listed below:
|
Undo |
Undoes the last action performed on the current proof see |
|
Redo |
Redoes the last action undone on the current proof (if another action has not been
performed on the proof since the last undo) |
|
Undo All |
Undoes all the actions performed on the proof, effectively clearing it
|
|
Save |
Re-enables the Add Given input field so that you can add additional given lines, see
Adding givens
|
|
Specify Signature |
Opens the Signature Editor window which allows you to edit the proof's signature explicitly,
see Using the Signatures Window
|
|
