[nongnu] elpa/proof-general updated (bc86736 -> d64f5a1)

[ELPA Syncer]

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

      from  bc86736   Fixing #578: Canonical is a keyword bin itself.
       new  063d066   * ci/compile-tests/*/runtest.el: Use lexical-binding and 
find `cct-lib`
       new  ad2f811   * lib/*.el: Use lexical-binding plus other minor changes
       new  91ce5cd   * coq/*.el: Use lexical-binding plus various minor changes
       new  d64f5a1   * generic/*.el: Use lexical-binding in 
proof-(tree|splash|pg-pamacs)


Summary of changes:
 ci/compile-tests/001-mini-project/runtest.el       |   4 +-
 .../002-require-no-dependencies/runtest.el         |   4 +-
 ci/compile-tests/003-require-error/runtest.el      |   4 +-
 ci/compile-tests/004-dependency-cycle/runtest.el   |   4 +-
 ci/compile-tests/005-change-recompile/runtest.el   |   6 +-
 ci/compile-tests/006-ready-dependee/runtest.el     |   6 +-
 ci/compile-tests/007-slow-require/runtest.el       |   6 +-
 ci/compile-tests/008-default-dir/runtest.el        |   6 +-
 ci/compile-tests/009-failure-processing/runtest.el |   6 +-
 coq/coq-compile-common.el                          |  81 +++---
 coq/coq-diffs.el                                   |   2 +-
 coq/coq-indent.el                                  |   6 +-
 coq/coq-par-compile.el                             |  91 +++---
 coq/coq-seq-compile.el                             |  80 ++---
 coq/coq-smie.el                                    |  35 +--
 coq/coq-syntax.el                                  |   6 +-
 coq/coq-system.el                                  |  14 +-
 coq/coq-unicode-tokens.el                          |  10 +-
 coq/coq.el                                         | 324 ++++++++++-----------
 generic/pg-pamacs.el                               |  46 +--
 generic/proof-depends.el                           |  25 +-
 generic/proof-script.el                            |  24 +-
 generic/proof-site.el                              |  24 +-
 generic/proof-splash.el                            |  27 +-
 generic/proof-tree.el                              |  30 +-
 lib/bufhist.el                                     |  40 +--
 lib/holes.el                                       |  23 +-
 lib/maths-menu.el                                  |  12 +-
 lib/unicode-tokens.el                              | 161 +++++-----
 29 files changed, 555 insertions(+), 552 deletions(-)