From c10a6f6aa1e5a476dfbd990710fc5bed39a49b86 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Tue, 26 May 1998 10:47:15 +0000
Subject: Necessary changes for emacs19 version

---
 todo | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/todo b/todo
index 87fe2e22..eef4d24d 100644
--- a/todo
+++ b/todo
@@ -116,3 +116,7 @@ A Add coq-add-tactic with a tactic name, which adds that tactic to the
 B The proof-locked-span isn't set to read-only, because overlays don't 
   have that capability.  This needs to be done with text-regions.
   (2hr hhg)
+
+B Replace running-(xemacs|emacs19) in proof.el by fboundp. (20min tms)
+
+A Replace recursion with while-loop in span-overlay. (2h hhg)
-- 
cgit v1.2.3