| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-03-17 | coq: Update coq-prettify-symbols-alist for consistency with company-coq | Clément Pit-Claudel |
| 2018-12-26 | Make coq-mode work without generic/proof-* | Stefan Monnier |
| 2018-12-22 | * coq-mode.el: New file to make coq-mode independent from PG | Stefan Monnier |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |