Func menu problems, note added

1 files changed, 4 insertions, 0 deletions

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 93e54789..29a1e268 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1456,6 +1456,10 @@ finish setup which depends on specific proof assistant configuration."
     (concat (regexp-quote proof-comment-start) "+\\s_?"))
 
   ;; func-menu --- Jump to a goal within a buffer
+  ;; FIXME 1: is there any way to get this to work for named saves
+  ;; instead of named goals?
+  ;; FIXME 2: each time proof mode is entered these extensions are
+  ;; made!  Probably needs moving out of this function.
   (and (boundp 'fume-function-name-regexp-alist)
        (defvar fume-function-name-regexp-proof
 	 (cons proof-goal-with-hole-regexp 2))