diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-12 22:02:55 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 02:47:43 +0100 |
commit | 97e8558810c93fd2f8eb7983d7c1ed3cfa7a038b (patch) | |
tree | a2dd6e1ce24c4ae4b7709a4876321c3ccf1bcb3a /REGISTER | |
parent | beebf0f144a04190c0f0910860f603a14f937b6b (diff) |
Update the commentary section in proof-general.el
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
Diffstat (limited to 'REGISTER')
0 files changed, 0 insertions, 0 deletions