diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
| commit | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (patch) | |
| tree | 9be997d4d9af9c12882d53434d8dbbcb49cbdcb6 /generic/proof-faces.el | |
| parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) | |
Checkdoc cleanups
Diffstat (limited to 'generic/proof-faces.el')
| -rw-r--r-- | generic/proof-faces.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-faces.el b/generic/proof-faces.el index e689f051..7fe80ea7 100644 --- a/generic/proof-faces.el +++ b/generic/proof-faces.el @@ -17,7 +17,7 @@ ;; ;; But it's difficult to keep track of all that! ;; Please report any bad/failing colour -;; combinations (with suggested improvements) at +;; combinations (with suggested improvements) at ;; http://proofgeneral.inf.ed.ac.uk/trac ;; ;; Some of these faces aren't used by default in Proof General, @@ -108,7 +108,7 @@ Exactly what uses this face depends on the proof assistant." (defface proof-error-face (proof-face-specs - (:background "rosybrown1") ; a drab version of misty rose + (:background "rosybrown1") ; a drab version of misty rose (:background "brown") (:bold t)) "*Face for error messages from proof assistant." |