diff options
Diffstat (limited to 'phox/phox.el')
-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." |