[nongnu] elpa/proof-general updated (85a35ad880 -> c6b7d506f9)

[ELPA Syncer]

elpasync pushed a change to branch elpa/proof-general.

      from  85a35ad880 omit-proofs: handle commands that may have global effects
       new  0a793dbbe5 omit-proofs: handle Let declarations
       new  c6b7d506f9 doc: update documentation for recent omit-proofs changes


Summary of changes:
 CHANGES                                 |  8 ++++
 ci/simple-tests/coq-test-omit-proofs.el | 18 +++++---
 ci/simple-tests/omit_test.v             | 10 ++++-
 coq/coq-syntax.el                       |  9 ++++
 coq/coq.el                              |  3 +-
 doc/PG-adapting.texi                    | 44 ++++++++++++++++++++
 doc/ProofGeneral.texi                   | 73 ++++++++++++++++++++++++++-------
 generic/proof-config.el                 | 18 +++++++-
 generic/proof-script.el                 | 22 ++++++++--
 9 files changed, 178 insertions(+), 27 deletions(-)