From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Thu, 23 Aug 2018 00:01:12 +0200 Subject: Fix most doc issues raised by (checkdoc) --- coq/coq-abbrev.el | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'coq/coq-abbrev.el') diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index 5a555df5..308ca865 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -69,7 +69,7 @@ ;;; The abbrev table built from keywords tables ;#s and @{..} are replaced by holes by holes-abbrev-complete (defun coq-install-abbrevs () - "install default abbrev table for coq if no other already is." + "Install default abbrev table for coq if no other already is." (if (boundp 'coq-mode-abbrev-table) ;; da: this test will always fail. Assume bound-->non-empty ;; (not (equal coq-mode-abbrev-table (make-abbrev-table)))) @@ -353,9 +353,11 @@ It was constructed with `proof-defstringset-fn'.") ["Compile" coq-Compile t])))) (setq-default coq-help-menu-entries - '(["help on setting prog name persistently for a file" + '(["help on setting prog name persistently for a file" coq-local-vars-list-show-doc t])) (setq-default coq-other-buffers-menu-entries coq-menu-common-entries) (provide 'coq-abbrev) + +;;; coq-abbrev.el ends here -- cgit v1.2.3