Guarded highlight Guarded command (since Coq 8.16) (#804)

ProofGeneral · Nov 26, 2024 · d668946 · d668946
1 parent 8401163
commit d668946
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
@@ -641,6 +641,7 @@ They deserve a separate menu for sending them to Coq without insertion.")
     ("From" nil "From #." nil "From")
     ("Generalizable Variables" nil "Generalizable Variables #." t "Generalizable\\s-+Variables")
     ("Generalizable All Variables" nil "Generalizable All Variables." t "Generalizable\\s-+All\\s-+Variables")
+    ("Guarded" nil "Guarded." t "Guarded")
     ("Identity Coercion" nil "Identity Coercion #." t "Identity\\s-+Coercion")
     ("Implicit Arguments Off" nil "Implicit Arguments Off." t "Implicit\\s-+Arguments\\s-+Off")
     ("Implicit Arguments On" nil "Implicit Arguments On." t "Implicit\\s-+Arguments\\s-+On")