diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-31 11:43:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-31 11:43:44 +0000 |
| commit | 2fdfaf38ccd283def8febc4ad70844107f659225 (patch) | |
| tree | 008492a2d38dca6134a8c71dea8fdda983892b34 /generic/proof-config.el | |
| parent | 5487fa826b97880785a830cde9219e1d04c7160b (diff) | |
Add faces for theorem dependencies.
Diffstat (limited to 'generic/proof-config.el')
| -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) + + |