[nongnu] elpa/proof-general updated (1f0c75788a -> 6cace58d0d)

[ELPA Syncer]

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