From 9652b0a9723f4e5ca9438b62d2d7bca64eca2c01 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Mon, 14 Jun 1999 15:27:49 +0000
Subject: Added proof-tactics-name-face

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

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"  
-- 
cgit v1.2.3