| | | B.2.5 goto: Go to Another Open Proof State |
goto S
In proving mode.
This command switches the current state to the open proof state denoted by label S. If S is not the label of an open state in the current proof, the command has no effect.
A single click on proof tree item S only displays the denoted proof state but does not change the current state (see the command state).
| | | B.2.5 goto: Go to Another Open Proof State |