From 2f35ed5b5af2a9227e25f60838c671136609f78a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 May 2007 14:01:25 +0000
Subject: Updated.

---
 etc/coq/bug-114.v | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/etc/coq/bug-114.v b/etc/coq/bug-114.v
index 9a85b12d..1ed33268 100644
--- a/etc/coq/bug-114.v
+++ b/etc/coq/bug-114.v
@@ -1,4 +1,7 @@
 (* Trac #114:  identifiers starting with "fun" are wrongly coloured *)
 
 forall (funA B: Prop)     (* funA should be all magenta *)
-fun (forallA B: Prop)     (* forallA should be all magenta *)
\ No newline at end of file
+fun (forallA B: Prop)     (* forallA should be all magenta *)
+
+(* Fixed in coq-syntax.el, 8.41 *)
+
-- 
cgit v1.2.3