From 03947fee8ab748686e2c2b5cdd3e30cc71b56efd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 16:29:55 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index f0e2e8e8..542f0016 100644
--- a/todo
+++ b/todo
@@ -51,14 +51,15 @@ A Pending work, in progress [da]:
 	. 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).
+    - document proof-mouse-track-insert (new name for proof-send-span, re-enabled).
 
 A Usability enhancement:
     - Fix asymmetry between "doing" and "undoing": doing will skip comments,
       undoing will not.  e.g. test case: (* tester *) intros; 
 
 A Usability enhancement:
-    - Fix proof-script-command-separator and proof-one-command-per-line flag.
+    - Fix proof-script-command-separator and proof-one-command-per-line flag,
+    document them.
 
 C Compatibility enhancement:
     - Consider sending comments to proof process after all.  They might
-- 
cgit v1.2.3