From e0760b8ed23751ac6658897a832f355eb6a64a89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 14:44:47 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index cd501c6d..7a0b58ce 100644
--- a/todo
+++ b/todo
@@ -47,6 +47,8 @@ A Pending work, in progress [da]:
 	. update documentation
     - test support for x-symbol
     - investigate toolbar refresh problems
+	. extra clicks are needed
+	. toolbar appears in wrong buffers
     - investigate of excessive processing for large proofs
     - investigate bug fix for vacuous locked regions
     - document proof-copy-span (new name for proof-send-span, re-enabled).
-- 
cgit v1.2.3