| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Make coq-mode work without generic/proof-* |  Stefan Monnier | 2018-12-26 |
| * | * coq-mode.el: New file to make coq-mode independent from PG | Stefan Monnier | 2018-12-22 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |