From 7426585190a3bee979818adc76639162372da6b7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 23:10:02 +0000
Subject: checkdoc induced docstring tweaks.

---
 generic/proof-script.el | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 3e5e8f0d..702b4ad3 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -35,7 +35,7 @@
 
 (defvar proof-last-theorem-dependencies nil
   "Contains the dependencies of the last theorem.  A list of strings.
-Set in proof-shell-process-urgent-message.")
+Set in `proof-shell-process-urgent-message'.")
 
 (defvar proof-nesting-depth 0
   "Current depth of a nested proof.  
@@ -45,7 +45,7 @@ This variable is maintained in proof-done-advancing; it is zeroed
 in proof-shell-clear-state.")
 
 (defvar proof-element-counters nil
-  "Table of (name . count) pairs, counting elements in scripting buffer.")
+  "Table of (name .  count) pairs, counting elements in scripting buffer.")
 
 
 ;; Buffer-local variables
@@ -2800,4 +2800,3 @@ finish setup which depends on specific proof assistant configuration."
 
 (provide 'proof-script)
 ;; proof-script.el ends here.
-
-- 
cgit v1.2.3