diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 0450d8f2..6f93e807 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1133,6 +1133,15 @@ default." :type 'function :group 'proof-script) + +(defcustom proof-script-imenu-generic-expression nil + "Regular expressions to help find definitions and proofs in a script. +Value for `imenu-generic-expression', see documentation of Imenu +and that variable for details." + :type 'sexp + :group 'proof-script) + + ;; FIXME da: This next one is horrible. We clearly would rather ;; have just proof-goal-command regexp instead. This was born to solve ;; problem that Coq can have goals which look like definitions, etc. |