[nongnu] elpa/proof-general updated (df19c7ba0e -> fe8b9fccb3)

[ELPA Syncer]

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

      from  df19c7ba0e Merge pull request #630 from ProofGeneral/update-readme
       new  b49220f634 Added qRHL support from qrhl-tool repo
       new  80aac72a7a Fix: proof-tree-external-display := nil, otherwise 
ProofGeneral fails
       new  ee01e75c66 qrhl-mode recognizes focus commands (e.g. '1-2: ++')
       new  30b882b8c3 qrhl.el: Fixed regexp for errors
       new  57a9d9ea91 qrhl: support for several commands on the same line.
       new  0e51f5af9a Merge remote-tracking branch 'origin/master' into 
qrhl-tool
       new  e86aa8468b Added author to qrhl.el.
       new  b580e5f274 Updated autogenerated parts of PQ-adapting.texi.
       new  553b2dc093 Added (require 'proof) to qrhl.el
       new  0aaf95edba Removed setting proof-tree-external-display in 
`qrhl.el`. Not needed if `proof.el` is loaded. (Undoes 80aac72a)
       new  2d3f422b01 Mentioning qrhl-tool in README.md
       new  0eb165d2a5 Removed some hardcoded configuration in qrhl mode: - 
indent-tabs-mode: not set anymore - input method: customizable 
(qrhl-input-method) - Debugging function "qr" removed
       new  847492f78f Using require instead of load-library to load qrhl-input.
       new  543aa777d7 Made path to qrhl-tool customizable.
       new  67006d14e3 Merge branch 'master' into qrhl-tool
       new  9b3ec8c596 qrhl: Made variable setting of `electric-indent-mode` 
buffer-local
       new  ff22652025 qrhl: Font-lock support (keywords and sub/superscripts)
       new  232c7ccae1 qrhl: Ensure UTF-8 via `proof-shell-unicode` instead of 
`set-language-environment`.
       new  aa086d8b83 Annotated qrhl-input.el with the changes w.r.t. Emacs's 
latin-ltx.el
       new  1787acf784 Support for Emacs 25 in qrhl: Creating separate input 
method file qrhl-input-25.el that supports Emacs 25.
       new  afb17bbee9 qrhl: Updated copyright headers. Set lexical-binding: t
       new  df4013732e qrhl: Removed autoload cookie from customizable options.
       new  dead1cc989 Updated doc-magic (`make -C doc magic`)
       new  360b6c24e3 Clarified copyright of qrhl: University of Tartu
       new  fe8b9fccb3 Merge pull request #636 from dominique-unruh/qrhl-tool


Summary of changes:
 Makefile.devel             |   2 +-
 README.md                  |   1 +
 doc/PG-adapting.texi       |   2 +-
 doc/ProofGeneral.texi      |   2 -
 generic/proof-autoloads.el | 523 ++++++++++++++++++++-----------
 generic/proof-site.el      |   1 +
 qrhl/qrhl-input-25.el      | 753 ++++++++++++++++++++++++++++++++++++++++++++
 qrhl/qrhl-input.el         | 763 +++++++++++++++++++++++++++++++++++++++++++++
 qrhl/qrhl.el               | 140 +++++++++
 9 files changed, 2007 insertions(+), 180 deletions(-)
 create mode 100644 qrhl/qrhl-input-25.el
 create mode 100644 qrhl/qrhl-input.el
 create mode 100644 qrhl/qrhl.el