From 60356be91e5543b9ed7c226b293cb85a9a3553de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 29 Sep 1999 14:43:21 +0000
Subject: Re-enabled and renamed proof-send-span: becomes proof-copy-span bound
 to C-button1

---
 todo | 1 +
 1 file changed, 1 insertion(+)

(limited to 'todo')

diff --git a/todo b/todo
index 6a413d98..cd501c6d 100644
--- a/todo
+++ b/todo
@@ -49,6 +49,7 @@ A Pending work, in progress [da]:
     - investigate toolbar refresh problems
     - 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).
 
 A Usability enhancement:
    Enable toolbar in other buffers.  Should switch to active
-- 
cgit v1.2.3