| Age | Commit message (Expand) | Author |
|---|---|---|
| 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