4.41 Reset PO

Annulation de toutes les commandes de la ligne de commande

Syntaxe

  re

Utilisation

Cette commande permet d’annuler toutes les commandes de la ligne de commande (hormis la force courante), pour l’obligation de preuve courante.

Exemple

Soit l’obligation de preuve qui a pour ligne de commande :


 
        Force(0) &  
          ah(uu: ENS => (uu = e5 => tt = e1)) &  
            pr &  
            dd &  
              dd &  
                Next  
 


La commande re


 
PRI> re  
Resetting PO  
 


permet d’initialiser la ligne de commande. L’obligation de preuve retrouve son état initial.


 
        Force(0) &  
          Next