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 /hol-light | |
| parent | 58cea1b8ffb02bc546ddb56a669d4094390d4809 (diff) | |
Rename pg-init.el to proof-general.el
Close ProofGeneral/PG#385 and close ProofGeneral/PG#398
Diffstat (limited to 'hol-light')
0 files changed, 0 insertions, 0 deletions