diff options
author | Hendrik Tews <hendrik@askra.de> | 2016-11-25 21:18:57 +0100 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2016-11-29 23:54:40 +0100 |
commit | 047d59061aa4e4c2d2dbb9ac270e3dc5d7c5c0cf (patch) | |
tree | 1524ce76d8883fb3f6bbe6830ca5344b31b7c253 /coq/coq-system.el | |
parent | fb178a6313132024c13f27865f97e090466058e3 (diff) |
update documentation
Diffstat (limited to 'coq/coq-system.el')
-rw-r--r-- | coq/coq-system.el | 4 |
1 files changed, 3 insertions, 1 deletions
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 () |