4.24 Goto without save

Positionnement sur une autre obligation de preuve sans sauvegarde de la preuve courante

Syntaxe

  gw(f.n)
avec :

Utilisation

Cette commande permet d’aller à l’obligation de preuve f.n, en abandonnant sans sauvegarde le travail de preuve sur l’obligation de preuve courante.
Si f n’est pas une opération ou une clause ou si n n’est pas un bon numéro, la commande ne s’exécute pas.

Exemple

La PO test.Initialisation.1 a été prouvée. L’opérateur peut désirer ne pas sauvegarder le travail de preuve interactive réalisé.

L’opérateur se déplace sur la PO test.Initialisation.2, sans sauvegarde.


 
PRI> gw(Initialisation.2)  
Skipping without saving to Initialisation.2  
Current PO : Initialisation.2