From f3fdaff32e20c1a05defd2670cffaa3eee752eaf Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 6 Mar 2015 15:03:07 +0100
Subject: Add syntax highlighting for About.

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

diff --git a/ide/coq.lang b/ide/coq.lang
index d634bc1d6c..46d91816a7 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -189,6 +189,7 @@
 	  <keyword>Combined\%{space}+Scheme</keyword>
 	  <keyword>End</keyword>
 	  <keyword>Section</keyword>
+	  <keyword>About</keyword>
 	  <keyword>Arguments</keyword>
 	  <keyword>Implicit\%{space}+Arguments</keyword>
 	  <keyword>Import</keyword>
-- 
cgit v1.2.3