[nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770)

[ELPA Syncer]

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

      from  d1bbf22ed0 docs(README.md): Update badges (#676)
       new  4a020a7121 qrhl: Improved font-lock mode: - sub/subscript symbols 
reappear when the following symbol is removed - sub/subscript symbols are not 
themselves sub/superscripted - all commands/tactics are fontified - different 
fonts (faces) for commands and tactics - better recognition of the 
commands/tactics (e.g., not as substrings of other words, only at beginning of 
line) - no highlighting of commands/tactics in reponse/goal buffers - 
keywords/tactics are recognized also after  [...]
       new  a2bd550a2a qrhl: Added more abbreviations and symbols in input 
method.
       new  ab7b274597 qrhl: Removed leftover debug output.
       new  3b5d65d340 qrhl: Remove comments from within multiline commands 
before sending them to qrhl-tool.
       new  06e85d8f23 qrhl: Automatic indentation.
       new  a49cded675 qrhl: Added more keywords to syntax highlighting: 
`rewrite`, `print goal`, `sp`, `isabelle_cmd`.
       new  c844c00d8c qrhl: made `font-lock-extra-managed-props` buffer-local.
       new  8e688a6770 Merge pull request #675 from 
dominique-unruh/qrhl-tool-rebased


Summary of changes:
 qrhl/qrhl-input.el |  18 ++++++++-
 qrhl/qrhl.el       | 116 +++++++++++++++++++++++++++++++++++++++++++++++------
 2 files changed, 121 insertions(+), 13 deletions(-)