elpasync pushed a change to branch elpa/proof-general.
from e164eca4e94 Merge pull request #834 from MorganJamesSmith/master
new aacbc0ed1b6 Use ascii quotes in docstrings
new 63d9f75db5b Fix wrong usage of unescaped single quotes in docstrings
new a9c105cffd9 Use \\+` for symbols instead of \\='
new ccf90d6baef Quote symbol-names in docstring correctly
new c2c01991fc8 * lib/texi-docstring-magic.el: Simplify
new 0f23583cb74 * doc: Update autogenerated files
new 75c13f91b6e Merge pull request #863 from
MorganJamesSmith/doc-string-single-quote
Summary of changes:
ci/compile-tests/007-slow-require/runtest.el | 2 +-
ci/compile-tests/cct-lib.el | 12 +-
coq/coq-compile-common.el | 28 +-
coq/coq-db.el | 8 +-
coq/coq-indent.el | 4 +-
coq/coq-local-vars.el | 4 +-
coq/coq-mode.el | 2 +-
coq/coq-par-compile.el | 118 ++--
coq/coq-seq-compile.el | 10 +-
coq/coq-smie.el | 2 +-
coq/coq-syntax.el | 2 +-
coq/coq-system.el | 12 +-
coq/coq.el | 26 +-
doc/PG-adapting.texi | 818 +++++++++++++--------------
doc/ProofGeneral.texi | 218 +++----
easycrypt/easycrypt.el | 2 +-
generic/pg-autotest.el | 4 +-
generic/pg-pamacs.el | 6 +-
generic/pg-pbrpm.el | 8 +-
generic/pg-response.el | 20 +-
generic/pg-user.el | 28 +-
generic/pg-vars.el | 20 +-
generic/proof-autoloads.el | 8 +-
generic/proof-config.el | 54 +-
generic/proof-script.el | 64 +--
generic/proof-shell.el | 52 +-
generic/proof-syntax.el | 22 +-
generic/proof-tree.el | 14 +-
generic/proof-useropts.el | 34 +-
generic/proof-utils.el | 16 +-
lib/bufhist.el | 2 +-
lib/local-vars-list.el | 2 +-
lib/span.el | 6 +-
lib/texi-docstring-magic.el | 40 +-
lib/unicode-tokens.el | 4 +-
35 files changed, 831 insertions(+), 841 deletions(-)
