elpasync pushed a change to branch elpa/proof-general.
from 1f0c75788a ignore 3-pane mode if frame is too small
new 854787cbc8 omit-proofs: split command processing into two phases
new 739f3d268c proof-check: new feature for listing passing and failing
tests
new bb147dc073 CI: add proof-check tests
new 9224fd8e59 proof-stat: add batch mode and TAP support
new 7353218260 PG manual: add documentation for proof-check-proofs
new 265ce5cc5f proof-stat: add menu item for proof-check-proofs
new 8871bcdf5a proof-stat: add documentation for proof-check-proofs in
PG-adapting
new 85de7aa187 proof-stat: add CHANGES entry
new 6cace58d0d proof-stat: address review comments
Summary of changes:
CHANGES | 27 ++--
ci/simple-tests/Makefile | 16 +-
ci/simple-tests/README.md | 8 +-
ci/simple-tests/coq-test-omit-proofs.el | 20 ++-
ci/simple-tests/coq-test-proof-stat.el | 84 ++++++++++
ci/simple-tests/proof_stat.exp-out | 16 ++
ci/simple-tests/proof_stat.v | 24 +++
coq/coq.el | 25 +++
doc/PG-adapting.texi | 53 +++++++
doc/ProofGeneral.texi | 92 +++++++++++
generic/pg-user.el | 227 +++++++++++++++++++++++++++
generic/proof-config.el | 39 +++++
generic/proof-menu.el | 6 +-
generic/proof-script.el | 261 +++++++++++++++++++++++---------
14 files changed, 812 insertions(+), 86 deletions(-)
create mode 100644 ci/simple-tests/coq-test-proof-stat.el
create mode 100644 ci/simple-tests/proof_stat.exp-out
create mode 100644 ci/simple-tests/proof_stat.v
