From 7fd3934a7915b9dcc7930d59c592089e1357309d Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Thu, 21 Dec 2000 17:49:19 +0000
Subject: *** empty log message ***

---
 phox/phox.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'phox')

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."
-- 
cgit v1.2.3