From e50d2fc11b2ec1c6e6d3bed4bdbf99aea092cbff Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 12 Feb 2002 18:24:29 +0000
Subject: added isar-undo-ignore-regexp;

---
 isar/isar-syntax.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el
index 083d06ee..7325f709 100644
--- a/isar/isar-syntax.el
+++ b/isar/isar-syntax.el
@@ -335,6 +335,9 @@
 (defconst isar-undo-skip-regexp
   (proof-anchor-regexp (proof-regexp-alt (isar-ids-to-regexp isar-keywords-diag) ";")))
 
+(defconst isar-undo-ignore-regexp
+  (proof-anchor-regexp "--"))
+
 (defconst isar-undo-remove-regexp
   (concat
    (proof-anchor-regexp (isar-ids-to-regexp isar-keywords-theory-begin))
-- 
cgit v1.2.3