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

[ELPA Syncer]

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

      from  c366365aad chore: Prepare the 4.5 release
       new  7f032add3a chore: Prepare new release cycle
       new  e06a7704a5 docs(README.md): Add MELPA-Stable badge


Summary of changes:
 CHANGES               | 4 ++++
 Makefile.devel        | 4 ++--
 README.md             | 3 ++-
 doc/PG-adapting.texi  | 4 ++--
 doc/ProofGeneral.texi | 9 ++++++++-
 etc/ProofGeneral.spec | 2 +-
 generic/proof-site.el | 2 +-
 proof-general.el      | 2 +-
 8 files changed, 21 insertions(+), 9 deletions(-)