diff options
| author | Erik Martin-Dorel | 2017-08-15 11:31:36 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2017-08-15 11:31:36 +0200 |
| commit | 9083698d0bbd4438208fa72222438ae59684542d (patch) | |
| tree | 2d35fa4c7c3668fddb97334b6474c473706a03b7 /phox | |
| parent | e4b4155b3813f0eedf808ece4b0aef86c8abc1c0 (diff) | |
Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.
This commit address ProofGeneral/PG#193.
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions