From 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik@martin-dorel.org>
Date: Thu, 23 Aug 2018 00:01:12 +0200
Subject: Fix most doc issues raised by (checkdoc)

---
 lib/pg-dev.el | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'lib/pg-dev.el')

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"))
-- 
cgit v1.2.3