| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-02-25 | test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI tests | Erik Martin-Dorel |
| 2020-12-01 | Fix byte compilation | Rudi Grinberg |
| 2019-01-14 | Hopefully fix ProofGeneral/PG#413 | Erik Martin-Dorel |
| 2019-01-13 | Fix ProofGeneral/PG#413 further | Erik Martin-Dorel |
| 2019-01-13 | Update the commentary section in proof-general.el | Erik Martin-Dorel |
| 2019-01-13 | Fix the license notice in proof-general.el | Erik Martin-Dorel |
| 2019-01-13 | Rename pg-init.el to proof-general.el | Erik Martin-Dorel |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
path: root/proof-general.el