From aa4c6c3dcb6c4f6ae6b239a7eb4e182ace18283e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 21 Sep 2000 13:20:27 +0000
Subject: tuned comment;

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

diff --git a/isar/isar.el b/isar/isar.el
index 2dd1954b..22f66263 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -329,7 +329,7 @@ proof-shell-retract-files-regexp."
 (defun isar-count-undos (span)
   "Count number of undos in a span, return the command needed to undo that far."
   (let
-      ((case-fold-search nil)
+      ((case-fold-search nil)       ;FIXME ??
        (ct 0) str i)
     (while span
       (setq str (span-property span 'cmd))
-- 
cgit v1.2.3