From c907b5717fd4ef98a5774ab568e2c16d25ce2786 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 14:59:33 +0100
Subject: Fix syntax highlighting of Save.

---
 ide/coq.lang | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ide/coq.lang b/ide/coq.lang
index 94ee77ae1b..d634bc1d6c 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -33,7 +33,7 @@
     <define-regex id="mult_decl">(Hypothes[ie]s)|(Axiom(s)?)|(Variable(s)?)|(Parameter(s)?)|(Context)|(Implicit\%{space}+Type(s)?)</define-regex>
     <define-regex id="locality">(((Local)|(Global))\%{space}+)?</define-regex>
     <define-regex id="begin_proof">(Theorem)|(Lemma)|(Fact)|(Remark)|(Corollary)|(Proposition)|(Property)</define-regex>
-    <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)</define-regex>
+    <define-regex id="end_proof">(Qed)|(Defined)|(Admitted)|(Abort)|(Save)</define-regex>
     <define-regex id="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))|(?'gal2'Goal)</define-regex>
 
     <context id="escape-seq" style-ref="escape">
@@ -158,7 +158,6 @@
 	  <keyword>Load</keyword>
 	  <keyword>Undo</keyword>
 	  <keyword>Print</keyword>
-	  <keyword>Save</keyword>
 	  <keyword>Comments</keyword>
 	  <keyword>Solve\%{space}+Obligation</keyword>
 	  <keyword>((Uns)|(S))et(\%{space}+\%{ident})+</keyword>
-- 
cgit v1.2.3