Forced saving of the current command syntax
sw
This command allows to save without question the proof work done on the current proof obligation.
Given the following proof obligation Calculus.2 whose command line is
Force(0) & pr & Next
|
The current proof obligation is then saved (status, command line), thanks to the command sw.
PRI> sw PO Calculus.2 saved
|