From 6ee6a57cbdbc61c633d65c5d6903a5897417652e Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 10 Feb 1998 14:12:56 +0000
Subject: added Dnf to lego-undoable-commands-regexp

---
 lego.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lego.el b/lego.el
index 1d10e3ee..515dba5e 100644
--- a/lego.el
+++ b/lego.el
@@ -5,6 +5,9 @@
 
 
 ;; $Log$
+;; Revision 1.36  1998/02/10 14:12:56  tms
+;; added Dnf to lego-undoable-commands-regexp
+;;
 ;; Revision 1.35  1998/01/16 15:40:23  djs
 ;; Commented the code of proof.el and lego.el a bit. Made a minor change
 ;; to the way errors are handled, so that any delayed output is inserted
@@ -183,7 +186,7 @@
 (defvar lego-forget-id-command "Forget ")
 
 (defvar lego-undoable-commands-regexp
-  (ids-to-regexp '("Refine" "Intros" "intros" "Next" "Qrepl" "Claim"
+  (ids-to-regexp '("\\`Dnf\\'" "Refine" "Intros" "intros" "Next" "Qrepl" "Claim"
 		   "For" "Repeat" "Succeed" "Fail" "Try" "Assumption" "UTac"
 		   "Qnify" "AndE" "AndI" "exE" "exI" "orIL" "orIR" "orE"
 		   "ImpI" "impE" "notI" "notE" "allI" "allE" "Expand"
-- 
cgit v1.2.3