View Menu

The view menu can be found in the main menu bar and contains display information about the current proof. The items in the menu are listed below:

	Global Signature	Displays the current proof's global signature, see Signatures.
	Local Signature	Displays the signature of the currently selected lines including all the signature item's in the line's scope, see Signatures.