From 5c4cc30fde5df333e46875fec0e17f9091a40b02 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Aug 2002 17:12:31 +0000
Subject: Updated.

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

diff --git a/todo b/todo
index bd03a6c7..b4f5d33b 100644
--- a/todo
+++ b/todo
@@ -32,6 +32,8 @@ X (Low)		e.g. probably not worth spending time on
 
 ** 2. Things to do in the generic interface
 
+*** B document and simplify proof-script-span-context-menu-extensions
+
 *** C Add output highlighting to minibuffer in proof-shell-message.
     (Quite tricky to get text properties onto text in minibuffer...)
 
-- 
cgit v1.2.3