From 08e4d48a596899027990b8eacc89e7df246efd65 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sat, 5 Jul 2008 17:54:31 +0000 Subject: Clarify unimplemented settings --- generic/pg-custom.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'generic') 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) -- cgit v1.2.3