| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Update the commentary section in proof-general.el |  Erik Martin-Dorel | 2019-01-13 |
| | | | | | | | | as this text should document the whole package and will be shown at http://www.melpa.org/#/proof-general href: https://github.com/ProofGeneral/PG/issues/198#issuecomment-419741803 | ||
| * | Fix the license notice in proof-general.el | Erik Martin-Dorel | 2019-01-13 |
| | | | | | | | as PG master is still under GPLv2 (while PG async already switched to GPLv3+) href: https://github.com/ProofGeneral/PG/tree/fb3b75dab55b6e6befffc53e136422558be5faa0#contributing | ||
| * | Rename pg-init.el to proof-general.el | Erik Martin-Dorel | 2019-01-13 |
| Close ProofGeneral/PG#385 and close ProofGeneral/PG#398 | |||
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/proof-general.el