4.53 Save without question

Forced saving of the current command syntax

Syntax

  sw

Use

This command allows to save without question the proof work done on the current proof obligation.

Example

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