emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/proof-general d668946929: Guarded highlight Guarded comman


From: ELPA Syncer
Subject: [nongnu] elpa/proof-general d668946929: Guarded highlight Guarded command (since Coq 8.16) (#804)
Date: Mon, 25 Nov 2024 22:00:36 -0500 (EST)

branch: elpa/proof-general
commit d6689469298b4140dc1f0f8b0ff7e8f937041ffe
Author: Daneel S. Yaitskov <rtfm.rtfm.rtfm@gmail.com>
Commit: GitHub <noreply@github.com>

    Guarded highlight Guarded command (since Coq 8.16) (#804)
---
 coq/coq-syntax.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index a3e7f3ab0e..5790004843 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")



reply via email to

[Prev in Thread] Current Thread [Next in Thread]