From 2c70e6f34a3f794feaebd44f42e367e794127a6e Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Thu, 20 Oct 2005 08:13:19 +0000
Subject: bug fix

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

(limited to 'phox/phox.el')

diff --git a/phox/phox.el b/phox/phox.el
index 204854e7..fa25363a 100644
--- a/phox/phox.el
+++ b/phox/phox.el
@@ -129,7 +129,7 @@
     phox-strict-comments-regexp
     phox-ident-regexp)
    proof-save-with-hole-result     8
-   proof-ignore-for-undo-count     "\\`\\(constraints\\|flag\\|goals\\|pri\\(nt\\(_sort\\)?\\|ority\\)\\|eshow\\|search\\|depend\\)"
+   proof-ignore-for-undo-count     "\\`\\(constraints\\|flag\\|goals\\|pri\\(nt\\(_sort\\)?\\|ority\\)\\|eshow\\|search\\|depend\\|menu_\\|is_\\)"
    proof-non-undoables-regexp      "\\`\\(undo\\|abort\\)"
    proof-shell-error-regexp        "^\\([^ \n\t\r]* \\)?\\(\\(e\\|E\\)rror\\)\\|\\(\\(f\\|F\\)ailure\\)"
    proof-goal-command              "goal %s."
-- 
cgit v1.2.3