diff options
| author | Makarius Wenzel | 1999-11-22 22:35:21 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-11-22 22:35:21 +0000 |
| commit | e21670b78270e55643fefc0cf58ab96dc15ad21b (patch) | |
| tree | 7a33f5e8dc95fe61f2e847174fd4286184e48f61 | |
| parent | c6c85f76eb7a7a83a9e146d8fadc5c3040e1e1f7 (diff) | |
tuned faces;
| -rw-r--r-- | isa/isa-syntax.el | 4 | ||||
| -rw-r--r-- | isar/isar-syntax.el | 7 |
2 files changed, 6 insertions, 5 deletions
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.") diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index c762d4de..f2e659d1 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -210,7 +210,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 @@ -245,8 +245,9 @@ (cons (concat "\353\\?'" isar-idx "\350") 'isabelle-tvar-name-face) (cons (concat "\354" isar-id "\350") 'isabelle-free-name-face) (cons (concat "\355" isar-id "\350") 'isabelle-bound-name-face) - (cons (concat "\356" isar-idx "\350") 'isabelle-var-name-face) - (cons (concat "\357" isar-idx "\350") 'proof-declaration-name-face) + (cons (concat "\356\\?" isar-idx "\350") 'isabelle-var-name-face) + (cons (concat "\357" isar-id "\350") 'proof-declaration-name-face) + (cons (concat "\357\\?" isar-idx "\350") 'proof-declaration-name-face) ) "*Font-lock table for Isabelle terms.") |