From 5cddcbb81ebb574c1362087b3aad1e58a0c2d305 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Fri, 24 Oct 1997 14:51:11 +0000
Subject: New indentation for lego-count-undos (smile)

---
 lego.el | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/lego.el b/lego.el
index fd9b7bd8..133cd075 100644
--- a/lego.el
+++ b/lego.el
@@ -5,6 +5,9 @@
 
 
 ;; $Log$
+;; Revision 1.26  1997/10/24 14:51:11  hhg
+;; New indentation for lego-count-undos (smile)
+;;
 ;; Revision 1.25  1997/10/16 08:46:16  tms
 ;; o merged script management (1.20.2.11) on the main branch
 ;; o fixed a bug in lego-find-and-forget due to new treatment of comments
@@ -256,16 +259,16 @@
       (setq str (span-property sext 'cmd))
       (cond ((eq (span-property sext 'type) 'vanilla)
 	     (if (or (string-match lego-undoable-commands-regexp str)
-		(and (string-match "Equiv" str)
-		     (not (string-match "Equiv\\s +[TV]Reg" str))))
-	    (setq ct (+ 1 ct))))
+		     (and (string-match "Equiv" str)
+			  (not (string-match "Equiv\\s +[TV]Reg" str))))
+		 (setq ct (+ 1 ct))))
 	    ((eq (span-property sext 'type) 'pbp)
 	     (setq i 0)
 	     (while (< i (length str)) 
 	       (if (= (aref str i) proof-terminal-char) (setq ct (+ 1 ct)))
 	       (setq i (+ 1 i)))))
       (setq sext (next-span sext 'type)))
-  (concat "Undo " (int-to-string ct) proof-terminal-string)))
+    (concat "Undo " (int-to-string ct) proof-terminal-string)))
 
 (defun lego-find-and-forget (sext) 
   (let (str ans)
-- 
cgit v1.2.3