From d6ff63eac2e02856b2031aafb23a75f17256b631 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Mon, 2 Nov 1998 12:41:30 +0000
Subject: fixed minor bugs

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

(limited to 'todo')

diff --git a/todo b/todo
index 83a19f08..de9fab22 100644
--- a/todo
+++ b/todo
@@ -382,7 +382,8 @@ C Improve legotags. I cannot handle lists e.g., with
 * Here are things to be done to Coq mode
 ========================================
 
-B Ensure that coq.el byte-compiles cleanly (1h)
+C derive a coq-response-mode from proof-response-mode; see lego.el (10min)
+
 
 D set proof-commands-regexp to support indentation for commands
 						    (10min)
@@ -416,6 +417,8 @@ A* Check all regexps are suitable instantiated.
 
 A Fixup multiple file handling with theory loader hacks to Isabelle.
 
+C derive an isa-response-mode from proof-response-mode; see lego.el (10min) 
+
 D Implement completion for Isabelle using tables generated by
   the running process.
 
-- 
cgit v1.2.3