From e21670b78270e55643fefc0cf58ab96dc15ad21b Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Mon, 22 Nov 1999 22:35:21 +0000
Subject: tuned faces;

---
 isa/isa-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa')

diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el
index d6ad598e..b48b2fd4 100644
--- a/isa/isa-syntax.el
+++ b/isa/isa-syntax.el
@@ -243,7 +243,7 @@
 
 (defface isabelle-var-name-face
   '((((type x) (class color) (background light))   
-     (:foreground "blue"))
+     (:foreground "darkblue"))
     (((type x) (class color) (background dark))   
      (:foreground "blue3"))
     (t				
@@ -274,7 +274,7 @@
    (cons (concat "\354" isa-id "\350") 'isabelle-free-name-face)
    (cons (concat "\355" isa-id "\350") 'isabelle-bound-name-face)
    (cons (concat "\356\\?" isa-idx "\350") 'isabelle-var-name-face)
-   (cons (concat "\357" isa-idx "\350") 'proof-declaration-name-face)
+   (cons (concat "\357\\?" isa-idx "\350") 'proof-declaration-name-face)
    )
   "*Font-lock table for Isabelle terms.")
 
-- 
cgit v1.2.3