diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:32:30 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-12-20 14:41:49 +0100 |
| commit | 0c9565d4d69a94cf33db5f98b381c3332709aa1e (patch) | |
| tree | aeb8572447aa98f6a4ec7b6bd2de13d53b6ef50b /generic/proof-splash.el | |
| parent | d45bad350834876a0b7e625039313bd1f643c50b (diff) | |
Fixes #395: hyps highlight is transient and with gray background.
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions