aboutsummaryrefslogtreecommitdiffhomepage
path: root/proof-general.el
Commit message (Expand)AuthorAge
* Hopefully fix ProofGeneral/PG#413Gravatar Erik Martin-Dorel2019-01-14
* Fix ProofGeneral/PG#413 furtherGravatar Erik Martin-Dorel2019-01-13
* Update the commentary section in proof-general.elGravatar Erik Martin-Dorel2019-01-13
* Fix the license notice in proof-general.elGravatar Erik Martin-Dorel2019-01-13
* Rename pg-init.el to proof-general.elGravatar Erik Martin-Dorel2019-01-13