[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770)
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770) |
Date: |
Mon, 28 Nov 2022 07:59:30 -0500 (EST) |
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(-)
- [nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770),
ELPA Syncer <=
- [nongnu] elpa/proof-general 4a020a7121 1/8: qrhl: Improved font-lock mode:, ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general c844c00d8c 7/8: qrhl: made `font-lock-extra-managed-props` buffer-local., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 06e85d8f23 5/8: qrhl: Automatic indentation., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 8e688a6770 8/8: Merge pull request #675 from dominique-unruh/qrhl-tool-rebased, ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general ab7b274597 3/8: qrhl: Removed leftover debug output., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general a2bd550a2a 2/8: qrhl: Added more abbreviations and symbols in input method., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general 3b5d65d340 4/8: qrhl: Remove comments from within multiline commands before sending them to qrhl-tool., ELPA Syncer, 2022/11/28
- [nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to syntax highlighting:, ELPA Syncer, 2022/11/28