[nongnu] elpa/proof-general updated (0d2818cb26 -> 250c2f8dfb)

[ELPA Syncer]

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

      from  0d2818cb26 ci/doc: document test strategy and the Coq/Emacs release 
table
       new  a6ec628378 ci/coq-tests: Disable tests test_wholefile.v tests
       new  a6017ae99b CI: update for Coq 8.19+rc1
       new  c10e034d54 Update FAQ.md
       new  1a71d6d390 Update CHANGES
       new  250c2f8dfb Update ProofGeneral.texi


Summary of changes:
 .github/workflows/test.yml    |  30 ++++++++++++++++----
 CHANGES                       |   4 +--
 FAQ.md                        |   2 +-
 ci/coq-tests.el               |  55 +++++++++++++++++++-----------------
 ci/doc/README.md              |  64 +++++++++++++++++++++---------------------
 ci/doc/README.pdf             | Bin 48307 -> 48354 bytes
 ci/doc/coq-emacs-releases.org |   1 +
 doc/ProofGeneral.texi         |   4 +--
 8 files changed, 92 insertions(+), 68 deletions(-)