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