From 4a2029b19a93d5badf60ace74845d718845c732f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jun 1999 14:35:17 +0000
Subject: Docstring fixes.

---
 generic/proof-config.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index c2640349..b77db1ba 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -260,7 +260,7 @@ Exactly what uses this face depends on the proof assistant."
 
 (defconst proof-tacticals-name-face 'proof-tacticals-name-face
   "Expression that evaluates to a face.
-Required so that 'proof-declaration-name-face is a proper facename in
+Required so that 'proof-tacticals-name-face is a proper facename in
 both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
 
 (defface proof-tactics-name-face
@@ -277,7 +277,7 @@ may want to color them differently."
 
 (defconst proof-tactics-name-face 'default
   "Expression that evaluates to a face.
-Required so that 'proof-declaration-name-face is a proper facename in
+Required so that 'proof-tactics-name-face is a proper facename in
 both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
 
 (defface proof-error-face 
-- 
cgit v1.2.3