From 5e26dc917fc0e71d3ffe2e19f118154a0fac7067 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Wed, 6 May 1998 15:54:50 +0000
Subject: Changed lego-undoable-commands-regexp to have "andI" and "andE"
 instead of "AndI" and "AndE".

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

diff --git a/lego.el b/lego.el
index 42d41ec1..765139f9 100644
--- a/lego.el
+++ b/lego.el
@@ -5,6 +5,10 @@
 
 
 ;; $Log$
+;; Revision 1.41  1998/05/06 15:54:50  hhg
+;; Changed lego-undoable-commands-regexp to have "andI" and "andE"
+;; instead of "AndI" and "AndE".
+;;
 ;; Revision 1.40  1998/05/06 15:29:30  hhg
 ;; Added lego-info-dir so that location of script-management.info can be
 ;; hard-coded.
@@ -204,7 +208,7 @@
 (defvar lego-undoable-commands-regexp
   (ids-to-regexp '("Dnf" "Refine" "Intros" "intros" "Next" "Normal"
   "Qrepl" "Claim" "For" "Repeat" "Succeed" "Fail" "Try" "Assumption"
-  "UTac" "Qnify" "AndE" "AndI" "exE" "exI" "orIL" "orIR" "orE" "ImpI"
+  "UTac" "Qnify" "andE" "andI" "exE" "exI" "orIL" "orIR" "orE" "ImpI"
   "impE" "notI" "notE" "allI" "allE" "Expand" "Induction" "Immed"
   "Invert")) "Undoable list")
 
-- 
cgit v1.2.3