1 files changed, 4 insertions, 0 deletions
diff --git a/todo b/todo
index 87fe2e22..eef4d24d 100644
--- a/todo
+++ b/todo
@@ -116,3 +116,7 @@ A Add coq-add-tactic with a tactic name, which adds that tactic to the
 B The proof-locked-span isn't set to read-only, because overlays don't 
   have that capability.  This needs to be done with text-regions.
   (2hr hhg)
+
+B Replace running-(xemacs|emacs19) in proof.el by fboundp. (20min tms)
+
+A Replace recursion with while-loop in span-overlay. (2h hhg)