[nongnu] elpa/proof-general updated (250c2f8dfb -> 19ca6e04d3)

[ELPA Syncer]

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

      from  250c2f8dfb Update ProofGeneral.texi
       new  ff596f0620 CI compile tests: add coqdep error detection tests
       new  227e462590 coq-par-compile: adapt coqdep warning regexp to 8.19
       new  19ca6e04d3 coq-par-compile: support coqdep warnings from 8.19 
onwards


Summary of changes:
 CHANGES                                            |   9 +-
 .../Makefile                                       |   2 +-
 .../a.v                                            |  11 +-
 .../a.v => 010-coqdep-errors/b.v}                  |  11 +-
 .../c.v                                            |   7 +-
 .../a.v => 010-coqdep-errors/d.v}                  |  11 +-
 .../e.v                                            |   6 +-
 ci/compile-tests/010-coqdep-errors/runtest.el      | 124 +++++++++++++++++++++
 ci/compile-tests/README.md                         |   2 +
 coq/coq-compile-common.el                          |  19 +++-
 coq/coq-par-compile.el                             |  16 ++-
 coq/coq-system.el                                  |  12 ++
 12 files changed, 196 insertions(+), 34 deletions(-)
 copy ci/compile-tests/{002-require-no-dependencies => 
010-coqdep-errors}/Makefile (91%)
 copy ci/compile-tests/{004-dependency-cycle => 010-coqdep-errors}/a.v (72%)
 copy ci/compile-tests/{001-mini-project/a.v => 010-coqdep-errors/b.v} (74%)
 copy ci/compile-tests/{002-require-no-dependencies => 010-coqdep-errors}/c.v 
(56%)
 copy ci/compile-tests/{001-mini-project/a.v => 010-coqdep-errors/d.v} (72%)
 copy ci/compile-tests/{004-dependency-cycle => 010-coqdep-errors}/e.v (66%)
 create mode 100644 ci/compile-tests/010-coqdep-errors/runtest.el