From 207fad4cdad17e6b12152d6c9bcdca466d7d0b46 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Apr 1999 14:28:27 +0000
Subject: Merged changes sent by Patrick Loiseleur.

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

(limited to 'todo')

diff --git a/todo b/todo
index a50c9f20..1e2d01cc 100644
--- a/todo
+++ b/todo
@@ -58,6 +58,10 @@ A BUGS to investigate:
     Investigate which package/setting he adds is to blame.
   - outline mode when proof-strict-read-only is nil ought to
     work, but there may be problems.
+  - bug mentioned by Martin H. with Lego: "don't know what I should
+    be doing..." error when it shouldn't happen.
+  - Coq: bug reported by a user, and Patrick mentioned that section
+    handling is buggy.
 
 A Fix INFO-DIR-ENTRY in doc/ProofGeneral.texi to put Proof General 
   info file into a good place.
-- 
cgit v1.2.3