diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:37:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-23 01:37:33 +0200 |
commit | 733cd24a7368ee186884da488da0f59bbedb627e (patch) | |
tree | e2a6832c08a6f058f423879c40c02fd924082af3 /coq/coq-abbrev.el | |
parent | 26b3bf9f070e9aee45c6e3d19bca475d4ae8ed37 (diff) | |
parent | 7986697e7999e1d24356d459d64e7be5ee4c8da0 (diff) |
Merge pull request #380 from ProofGeneral/prepare-melpa
Prepare PG for MELPA
Diffstat (limited to 'coq/coq-abbrev.el')
-rw-r--r-- | coq/coq-abbrev.el | 6 |
1 files changed, 4 insertions, 2 deletions
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 |