diff options
| author | Erik Martin-Dorel | 2019-01-12 22:02:55 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-01-13 02:47:43 +0100 |
| commit | 97e8558810c93fd2f8eb7983d7c1ed3cfa7a038b (patch) | |
| tree | a2dd6e1ce24c4ae4b7709a4876321c3ccf1bcb3a /pgshell | |
| 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 'pgshell')
0 files changed, 0 insertions, 0 deletions