diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2008-07-05 17:54:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2008-07-05 17:54:31 +0000 |
| commit | 08e4d48a596899027990b8eacc89e7df246efd65 (patch) | |
| tree | 807194e3c33c5d57065a329539bea694f37233aa /generic | |
| parent | 2438d15236e2e8264fdb2f6b91f4744d22492992 (diff) | |
Clarify unimplemented settings
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-custom.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/generic/pg-custom.el b/generic/pg-custom.el index 3c74c3fb..ddf0be01 100644 --- a/generic/pg-custom.el +++ b/generic/pg-custom.el @@ -186,7 +186,8 @@ http://proofgeneral.inf.ed.ac.uk/trac" ;; TODO: not used yet. (defpgcustom tags-program nil - "Program to run to generate TAGS table for proof assistant." + "Program to run to generate TAGS table for proof assistant. +Currently this setting is UNIMPLEMENTED, changes have no effect." :type 'file :group 'prover-config) @@ -195,7 +196,8 @@ http://proofgeneral.inf.ed.ac.uk/trac" ;; See http://proofgeneral.inf.ed.ac.uk/trac/ticket/211 (defpgcustom use-holes (eq proof-assistant-symbol 'coq) "Whether or not to use the holes (editing template) mechanism. -Enabled by default for Coq." +Enabled by default for Coq. +Currently this setting is UNIMPLEMENTED, changes have no effect." :type 'boolean :group 'prover-config) |