From 3f13842c9642d8e9c3e5a78a3c1089268b9fc84c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 15:05:22 +0000
Subject: Docstring/CR from stefans patch

---
 generic/proof-utils.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 8e49e46c..5d94f6c5 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -286,7 +286,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
 ;;   and copy it into "font-lock-keywords" to engage font-lock.
 ;;   Present method for XEmacs is to put a 'font-lock-defaults 
 ;;   property on the major-mode symbol, or use font-lock-defaults
-;;   buffer local variable.  We use the later.
+;;   buffer local variable.  We use the latter.
 ;;
 ;; * Buffers which are output-only are *not* kept in special minor
 ;;   modes font-lock-mode (or x-symbol-mode).  In case the user
@@ -295,7 +295,7 @@ The argument KBL is a list of tuples (k . f) where `k' is a keybinding
 
 (deflocal proof-font-lock-keywords nil
   "Value of font-lock-keywords in this buffer.
-We set font-lock-defaults to '(proof-font-lock-keywords t) for
+We set `font-lock-defaults' to '(proof-font-lock-keywords t) for
 compatibility with X-Symbol, which may hack proof-font-lock-keywords
 with extra patterns (in non-mule mode).")
 
@@ -730,4 +730,4 @@ If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path."
 (setq generated-autoload-file "proof-autoloads.el")
 	
 ;; End of proof-utils.el
-(provide 'proof-utils)
\ No newline at end of file
+(provide 'proof-utils)
-- 
cgit v1.2.3