diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-12-21 17:49:19 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-12-21 17:49:19 +0000 |
commit | 7fd3934a7915b9dcc7930d59c592089e1357309d (patch) | |
tree | 41719ab011fcc9df38a897c78878445ad235e98f /phox | |
parent | 6ac04b30e318fd08cbaddf1c2b7cf5d8079a3847 (diff) |
*** empty log message ***
Diffstat (limited to 'phox')
-rw-r--r-- | phox/phox.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/phox/phox.el b/phox/phox.el index 749a8409..87c1cdef 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -125,7 +125,7 @@ proof-save-with-hole-result 8 proof-ignore-for-undo-count "constraints\\|flag\\|goals\\|print\\(_sort\\)?\\|eshow\\|search\\|priority\\|depend" proof-shell-error-regexp "^\\([^ \n\t\r]* \\)?\\(\\(e\\|E\\)rror\\)\\|\\(\\(f\\|F\\)ailure\\)" - proof-non-undoables-regexp "undo" + proof-non-undoables-regexp "undo\\|abort" proof-goal-command "goal %s." proof-save-command "save %s." proof-kill-goal-command "abort." |