From 41a87c513357da8bc0dce196c4ec46255826ba10 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Thu, 20 Nov 1997 13:10:56 +0000
Subject: Fixed outstanding things to be updated in Coq.

---
 todo | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/todo b/todo
index 590c1c73..333ba114 100644
--- a/todo
+++ b/todo
@@ -22,6 +22,5 @@ This is a list of things which need doing to the lego mode.
 
 * file handling could be more robust
 
-* For Coq:
-   Fill in proof-shell-interrupt-regexp
-   Fill in proof-state-preserving-p
+* LEGO mode might incorporate changes to Coq mode menu, in particular
+  making help refer to the info file.
-- 
cgit v1.2.3