diff options
| author | David Aspinall | 1998-11-03 14:42:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:42:26 +0000 |
| commit | 10b0aa36ba12e6255c14df3ca9dc9cf732a55550 (patch) | |
| tree | 42503861f9714fd89978362fd0c4fa3dc1846bc5 /generic/proof-script.el | |
| parent | b8f4c78f6659d6962a810e4b40dda5b34fd0fb47 (diff) | |
Func menu problems, note added
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 4 |
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)) |