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(-)
