[nongnu] elpa/proof-general updated (0ee2b75939 -> c366365aad)

[ELPA Syncer]

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

      from  0ee2b75939 Merge pull request #663 from Matafou/qrhl-announce
       new  48ab233ea7 coq: make Proof General/coq opam-switch-mode aware
       new  a3d0fc9875 docs: Document OPSW in ProofGeneral.texi
       new  ab510c61e2 Merge pull request #656 from hendriktews/opam-aware
       new  c366365aad chore: Prepare the 4.5 release


Summary of changes:
 CHANGES                   |  7 ++++++
 README.md                 |  2 +-
 coq/coq-compile-common.el | 18 ----------------
 coq/coq.el                | 54 +++++++++++++++++++++++++++++++++++++++++------
 doc/PG-adapting.texi      |  4 ++--
 doc/ProofGeneral.texi     | 48 ++++++++++++++++++++++++++++++++++++++---
 etc/ProofGeneral.spec     |  2 +-
 generic/proof-site.el     |  4 ++--
 proof-general.el          |  4 ++--
 9 files changed, 107 insertions(+), 36 deletions(-)