diff options
| -rw-r--r-- | generic/proof-config.el | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index c1eb69f0..c2640349 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -263,6 +263,23 @@ Exactly what uses this face depends on the proof assistant." Required so that 'proof-declaration-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 + '((t + (:foreground (face-foreground default))) + (t + (:background (face-background default))) + (t + (bold t))) + "*Face for names of tactics in proof scripts. +By default, they are printed with default face but the user +may want to color them differently." + :group 'proof-faces) + +(defconst proof-tactics-name-face 'default + "Expression that evaluates to a face. +Required so that 'proof-declaration-name-face is a proper facename in +both XEmacs 20.4 and Emacs 20.3's version of font-lock.") + (defface proof-error-face '((((type x) (class color) (background light)) (:background "salmon1" |