From b1823c7a9204954f19a9dd380d47920e0146ce2d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 7 Aug 2002 09:12:17 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index d3a26ed4..e1ee2f94 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,9 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** D Make code robust against accidental buffer kills
+      by regenerating auxiliary buffers automatically. 
+
 *** D Bugs with extents: 
       Sometimes probs if try to assert a whole file while one is
       being processed:     (proof-set-queue-start end) call in
@@ -695,6 +698,13 @@ Output written on ProofGeneral.pdf (2 pages, 54702 bytes).
 LIST OF THINGS FOR PG 3.4
 =========================
 
+** LATEST
+
+-- Coq pbp focussing --- does this part work at least?  Test case.
+-- Pierre's changes
+-- Christophe's changes
+-- Win32 prob noted by N.V.
+
 ** X-SYMBOL PROBLEMS 
     -- GNU emacs probs with Coq and friends.
     -- Isabelle probs (electric token, latin1, sub/sup).
-- 
cgit v1.2.3