diff options
| author | David Aspinall | 1999-06-15 14:35:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-15 14:35:17 +0000 |
| commit | 4a2029b19a93d5badf60ace74845d718845c732f (patch) | |
| tree | 955b36148396b7eb935417a065938601853d728c | |
| parent | 7ecbb65f0d324f1a66d42859c1f9b299d61adc4a (diff) | |
Docstring fixes.
| -rw-r--r-- | generic/proof-config.el | 4 |
1 files 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 |