diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-05-31 13:20:03 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-05-31 13:20:03 +0200 |
| commit | f743d1280026575275aef95d0c3eceead81614b6 (patch) | |
| tree | 26884b955a91e40bc461ae8c48fc1853decc35af /coq/coq-db.el | |
| parent | 315b7043953449fd6d982b01e4bcda91bb37ae7e (diff) | |
Infrastructure for transient hyps highlighting.
Diffstat (limited to 'coq/coq-db.el')
0 files changed, 0 insertions, 0 deletions