[nongnu] elpa/proof-general updated (4e6e5d94a7 -> a6bd8185e0)

[ELPA Syncer]

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

      from  4e6e5d94a7 cipg: select only actively supported Emacs versions for 
Coq rc versions
       new  9b38f844df coq-par-compile: add user options for extra coqc/coqdep 
arguments
       new  a6bd8185e0 add tests for checking that goals are correctly shown


Summary of changes:
 ci/simple-tests/README.md             |   3 +
 ci/simple-tests/test-goals-present.el | 252 ++++++++++++++++++++++++++++++++++
 coq/coq-compile-common.el             |  16 +++
 coq/coq-par-compile.el                |   8 +-
 4 files changed, 277 insertions(+), 2 deletions(-)
 create mode 100644 ci/simple-tests/test-goals-present.el