| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-06-03 | Process tags in the buffer rather than in strings | Jim Fehrle |
| 2019-06-01 | Add hook for coq diff-highlighting routine | Jim Fehrle |
| 2019-05-31 | * coq/coq-diffs.el (coq-insert-tagged-text): Rework to avoid `aset` | Stefan Monnier |
| 2019-05-16 | Highlight diffs in goals and some error messages | Jim Fehrle |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |