qu
Cette commande permet de quitter le prouveur interactif.
Si l’état de la preuve en cours a changé par rapport à son état lors de son chargement ou si la
ligne de commande a été modifiée, le prouveur demande à l’utilisateur de sauvegarder ou non la
nouvelle ligne de commande avant de quitter le prouveur interactif.
Un travail de preuve a été effectué sur l’obligation de preuve courante. L’opérateur désire
quitter la session de preuve interactive. Le prouveur demande à l’opérateur s’il désire
sauvegarder le travail de preuve de la dernière obligation de preuve utilisée.
PRI> qu Last PO does not have a saved demo. Your new demo does not Prove. Do you want to save the new demo (will replace the old one)? Answer No to continue without saving (any other word to save):
|