diff options
Diffstat (limited to 'generic/proof-config.el')
| -rw-r--r-- | generic/proof-config.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 54c6e6fb..a2191dce 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1298,6 +1298,12 @@ These are evaluated and appended to `proof-splash-contents'." :type 'string :group 'proof-general-internals) +(defcustom proof-unnamed-theorem-name + "Unnamed_thm" + "A name for theorems which are unnamed. Used internally by Proof General." + :type 'string + :group 'proof-general-internals) + ;; FIXME: da: could we put these into another keymap shared across the ;; various PG modes? (defcustom proof-universal-keys |