diff options
| author | David Aspinall | 1999-10-06 11:18:56 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 11:18:56 +0000 |
| commit | d4316a2d63c9c2b12cdce73e62cd435d7ff01002 (patch) | |
| tree | c5eff6a0c98f2d73725cba83d4f0ceea1b9fa6ec /generic/proof-config.el | |
| parent | a7928b121ae5c356eac5e2f48f32faca404a7ce3 (diff) | |
More improvements/fixes for closing unfinished proofs.
Added proof-unnamed-theorem-name.
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 |