From 4149ca087d665b782a572e67b60f8315b42e1603 Mon Sep 17 00:00:00 2001 From: Daneel Yaitskov Date: Sun, 24 Nov 2024 02:41:04 -0900 Subject: [PATCH] Guarded highlight Guarded command (since Coq 8.16) --- coq/coq-syntax.el | 1 + 1 file changed, 1 insertion(+) diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index a3e7f3ab0..579000484 100644 --- 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")