diff options
author | 2011-09-15 08:06:20 +0000 | |
---|---|---|
committer | 2011-09-15 08:06:20 +0000 | |
commit | 25620f605279969ff58f585f0bee0ca4c5c45553 (patch) | |
tree | f5653797bb352be7aeadbd565f6767a910187001 | |
parent | 5aec2a145476678cc1f429b2bb0f7ce3a55f1a00 (diff) |
fix widget descriptions of coq-load-path
-rw-r--r-- | coq/coq.el | 12 |
1 files changed, 8 insertions, 4 deletions
@@ -1283,13 +1283,17 @@ contain the coq standard library or \".\" for the current directory (see `coq-load-path-include-current')." :type '(repeat (choice (string :tag "simple directory without path (-I)") (list :tag "recursive directory without path (-R)" - (const rec) (string)) + (const rec) (string :tag "directory")) (list :tag "recursive directory with path (-R ... -as ...)" - (const rec) (string) (string)) + (const rec) + (string :tag "directory") + (string :tag "log path")) (list :tag - "simple directory with path (-R ... -as ...)" - (const nonrec) (string) (string)))) + "simple directory with path (-I ... -as ...)" + (const nonrec) + (string :tag "directory") + (string :tag "log path")))) :safe '(lambda (v) (every '(lambda (entry) (or (stringp entry) |