[nongnu] elpa/proof-general updated (d9cfe74845 -> a5021b929f)

[ELPA Syncer]

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

      from  d9cfe74845 docs: Improve MELPA doc (#642)
       new  5ecce84864 qrhl: Added both `(require 'proof)` and `(require 
'proof-easy-config)'.
       new  1a64e61c93 Added "qrhl" to the list of byte-compiled directories. 
(Cf. https://github.com/ProofGeneral/PG/pull/643#issuecomment-1062054376)
       new  3f5fe71e52 Miscelleaneous cleanup in qrhl.el (by @monnier)
       new  2856783ddd Makefile: Added qrhl to provers that need to be compiled
       new  a0ebe26bbe tests: Add test whether qrhl input method loads correctly
       new  07e6b0d4e5 Made qrhl-input.el compile on all supported Emacs 
versions. (Based on patch by @monnier)
       new  a5021b929f Merge pull request #643 from dominique-unruh/qrhl-tool


Summary of changes:
 .github/workflows/test.yml   |   4 +
 Makefile                     |   2 +-
 ci/simple-tests/README.md    |   2 +
 ci/simple-tests/test-qrhl.el |  24 ++
 proof-general.el             |   2 +-
 qrhl/qrhl-input-25.el        | 753 -------------------------------------------
 qrhl/qrhl-input.el           |  30 +-
 qrhl/qrhl.el                 |  77 +++--
 8 files changed, 90 insertions(+), 804 deletions(-)
 create mode 100644 ci/simple-tests/test-qrhl.el
 delete mode 100644 qrhl/qrhl-input-25.el