Added note about removing proof-goal-command-p

1 files changed, 3 insertions, 2 deletions

diff --git a/todo b/todo
index 5b157050..2eb0786c 100644
--- a/todo
+++ b/todo
@@ -14,8 +14,9 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-C  Func menu: add setting for proof-save-with-hole-regexp to
-   extend support for goals named at the end of proofs.
+C  proof-goal-command-regexp: add this setting to coq.el.
+   Rationalize use of proof-goal-command-p
+   (probably can be scrapped now).  
 
 D  Customization mechanism: is there a way to make saved settings
    not be overwritten by setq's in the code?  Need to think how