[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to
From: |
ELPA Syncer |
Subject: |
[nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to syntax highlighting: |
Date: |
Mon, 28 Nov 2022 07:59:31 -0500 (EST) |
branch: elpa/proof-general
commit a49cded675de3a714bbe302b07faf99e7b17a811
Author: Dominique Unruh <unruh@ut.ee>
Commit: Dominique Unruh <unruh@ut.ee>
qrhl: Added more keywords to syntax highlighting:
`rewrite`, `print goal`, `sp`, `isabelle_cmd`.
---
qrhl/qrhl.el | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index 7bc51b9adb..46f0c8d8fb 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -90,12 +90,12 @@ Returns t if this worked."
(cl-flet ((mk-regexp (word) (concat "\\(?:^\\|\\.[ \t]\\)[ \t{}+*-]*\\b\\("
word "\\)\\b")))
(append qrhl-font-lock-subsuperscript
(mapcar (lambda (keyword) `(,(mk-regexp keyword) . (1
'font-lock-keyword-face)))
- '("debug:" "isabelle" "quantum\\s +var" "classical\\s +var"
"ambient\\s +var"
- "program" "adversary" "qrhl" "lemma" "include" "qed"
"cheat" "print"))
+ '("isabelle_cmd" "debug:" "isabelle" "quantum\\s +var"
"classical\\s +var" "ambient\\s +var"
+ "program" "adversary" "qrhl" "lemma" "include" "qed"
"cheat" "print\\s +goal" "print"))
(mapcar (lambda (tactic) `(,(mk-regexp tactic) . (1
'font-lock-function-name-face)))
- '("admit" "wp" "swap" "simp" "rule" "clear" "skip" "inline"
"seq" "conseq\\s +pre"
- "conseq\\s +post" "conseq\\s +qrhl" "equal" "rnd"
+ '("admit" "wp" "sp" "swap" "simp" "rule" "clear" "skip"
"inline" "seq" "conseq\\s +pre"
+ "conseq\\s +post" "conseq\\s +qrhl" "equal" "rnd"
"rewrite"
"byqrhl" "casesplit" "case" "fix" "squash" "frame"
"measure" "o2h" "semiclassical"
"sym" "local\\s +remove" "local\\s +up" "rename" "if"
"isa"
))
- [nongnu] elpa/proof-general updated (d1bbf22ed0 -> 8e688a6770), ELPA Syncer, 2022/11/28
- [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 <=