From 652cb3be7214148861c51a3dd0ca63de683c71de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 10:18:39 +0000
Subject: Updates

---
 todo | 2 --
 1 file changed, 2 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index e1ee2f94..ccfef320 100644
--- a/todo
+++ b/todo
@@ -723,8 +723,6 @@ LIST OF THINGS FOR PG 3.4
 
 ** Does proof-follow-mode have any effect???
 
-** Add glyphs for hidden proofs. 
-
 ** Fix-up show/hide for nested proofs.  (Wierdness with cursor jumping as well)
 
 ** Show/hide in FSF Emacs.
-- 
cgit v1.2.3