[nongnu] elpa/proof-general a49cded675 6/8: qrhl: Added more keywords to syntax highlighting:

[ELPA Syncer]

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