diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:01:12 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:31 +0200 |
commit | 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 (patch) | |
tree | 676fe59b7644498172f96b6da605745a6bf71a13 /lib/pg-dev.el | |
parent | 3ba86af3271111cb056676c631b7caa6897e06f1 (diff) |
Fix most doc issues raised by (checkdoc)
Diffstat (limited to 'lib/pg-dev.el')
-rw-r--r-- | lib/pg-dev.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/pg-dev.el b/lib/pg-dev.el index 79afca23..8e82a753 100644 --- a/lib/pg-dev.el +++ b/lib/pg-dev.el @@ -114,7 +114,7 @@ pg-thymodes pg-autotest ;; isar-syntax isar-find-theorems isar-unicode-tokens - isar-autotest interface-setup isabelle-system isar + isar-autotest interface-setup isabelle-system isar isar-keywords ;; coq-abbrev coq-db coq-unicode-tokens coq-local-vars coq coq-syntax @@ -130,7 +130,7 @@ ;;;###autoload (defun profile-pg () - "Configure Proof General for profiling. Use M-x elp-results to see results." + "Configure Proof General for profiling. Use \\[elp-results] to see results." (interactive) (elp-instrument-package "proof-") (elp-instrument-package "pg-") @@ -142,10 +142,10 @@ (elp-instrument-package "replace-") ; for replace-regexp etc (elp-instrument-package "re-search-") ; for re-search-forwad etc (elp-instrument-package "skip-chars-") ; for skip chars etc - (elp-instrument-list + (elp-instrument-list '(string-match match-string re-search-forward re-search-backward skip-chars-forward skip-chars-backward - goto-char insert + goto-char insert set-marker marker-position nreverse nconc mapc member @@ -153,7 +153,7 @@ sit-for overlay-put overlay-start overlay-end make-overlay buffer-live-p kill-buffer - process-status get-buffer-process + process-status get-buffer-process delete-overlay move-overlay accept-process-output)) (elp-instrument-package "font-lock")) |