| Age | Commit message (Collapse) | 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 | |
| (coq-insert-with-face): Don't assume we're at EOB. * generic/pg-goals.el (pg-goals-display): Use with-current-buffer. * generic/pg-response.el (pg-response-maybe-erase): Narrow the scope of inhibit-read-only. (pg-response-display-with-face): Use `member`. Remove unused var `end`. Only bind `start` when we have a value for it. (proof-trace-buffer-display): Use with-current-buffer. | |||
| 2019-05-16 | Highlight diffs in goals and some error messages | Jim Fehrle | |
| using Coq's proof diffs feature. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |