diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2017-08-15 11:31:36 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2017-08-15 11:31:36 +0200 |
commit | 9083698d0bbd4438208fa72222438ae59684542d (patch) | |
tree | 2d35fa4c7c3668fddb97334b6474c473706a03b7 /coq/coq-system.el | |
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 'coq/coq-system.el')
0 files changed, 0 insertions, 0 deletions