1 files changed, 0 insertions, 2 deletions
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.