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 419953fa..4b126744 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -516,6 +516,23 @@ Warning messages can come from proof assistant or from Proof General itself." "*Face for boring text in proof assistant output." :group 'proof-faces) +(defface proof-highlight-dependent-face + (proof-face-specs + (:foreground "black") + (:background "darkorange") + (:italic t)) + "*Face for showing (backwards) dependent parts." + :group 'proof-faces) + +(defface proof-highlight-dependency-face + (proof-face-specs + (:foreground "black") + (:background "peru") + (:italic t)) + "*Face for showing (forwards) dependencies." + :group 'proof-faces) + + |