From 2bcb2cb8ddadbaf2e5b6d4abbfdbdf3bc88cc4c6 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Mon, 28 Apr 2014 11:54:11 +0200
Subject: Fix incorrect syntax highlighting after the Goal command.

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

(limited to 'ide/coq.lang')

diff --git a/ide/coq.lang b/ide/coq.lang
index 26a92cf95..1cb95e535 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -34,7 +34,7 @@
     <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="decl_head">((?'gal'\%{locality}(Program\%{space}+)?(\%{single_decl}|\%{begin_proof}))\%{space}+(?'id'\%{ident}))|((?'gal4list'\%{mult_decl})(?'id_list'(\%{space}+\%{ident})*))</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})*))|(?'gal'Goal')</define-regex>
 
     <context id="escape-seq" style-ref="escape">
       <match>""</match>
@@ -150,7 +150,6 @@
 	  <keyword>Eval</keyword>
 	  <keyword>Load</keyword>
 	  <keyword>Undo</keyword>
-	  <keyword>Goal</keyword>
 	  <keyword>Print</keyword>
 	  <keyword>Save</keyword>
 	  <keyword>Comments</keyword>
-- 
cgit v1.2.3