[nongnu] elpa/proof-general updated (14eb90d084 -> c304d73e09)

[ELPA Syncer]

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

      from  14eb90d084 docs(README.md): Add documentation badges
       new  b5e3589ac8 docs: Mention qrhl-tool
       new  c304d73e09 docs(README.md): Mention qrhl-tool


Summary of changes:
 README.md             | 5 +++--
 doc/PG-adapting.texi  | 2 +-
 doc/ProofGeneral.texi | 4 ++--
 proof-general.el      | 2 +-
 4 files changed, 7 insertions(+), 6 deletions(-)