From 047d59061aa4e4c2d2dbb9ac270e3dc5d7c5c0cf Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Fri, 25 Nov 2016 21:18:57 +0100 Subject: update documentation --- coq/coq-system.el | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'coq/coq-system.el') diff --git a/coq/coq-system.el b/coq/coq-system.el index 997e93d2..2b8c9214 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -393,8 +393,9 @@ project file (see `coq-project-filename') somewhere in the current directory or its parent directories. If there is one, its contents are read and used to determine the arguments that must be given to coqtop. In particular it sets the load -path (including the -R lib options) (see `coq-load-path') ." +path (including the -R lib options) (see `coq-load-path')." :type 'boolean + :safe 'booleanp :group 'coq) (defcustom coq-project-filename "_CoqProject" @@ -411,6 +412,7 @@ variables may still be used to override the coq project file's configuration. .dir-locals.el files also work and override project file settings." :type 'string + :safe 'stringp :group 'coq) (defun coq-find-project-file () -- cgit v1.2.3