diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-05-31 21:48:40 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-05-31 21:48:40 +0200 |
| commit | 31dda92a0bf190fd526e0a6d9502c197bdd08eb1 (patch) | |
| tree | 1038a39bf642241482adc9114fcfe7cfeeb833c1 /coq/coq.el | |
| parent | 1587562684500df7f429f6846fc351e9697a2cae (diff) | |
Updated CHANGES about hiding and highlighting of hyps.
Diffstat (limited to 'coq/coq.el')
0 files changed, 0 insertions, 0 deletions