diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-12 21:24:35 +0100 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2019-01-13 02:47:43 +0100 |
commit | 237529c9dc8b267175a3879cf23a77487611ca91 (patch) | |
tree | 2902eed1766d50422d25b3708637a836af7d09e5 /BUGS | |
parent | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (diff) |
Rename pg-init.el to proof-general.el
Close ProofGeneral/PG#385 and close ProofGeneral/PG#398
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions