etc/coq/bug-114.v


1
2
3
4
5
6
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 *)

(* Fixed in coq-syntax.el, 8.41 *)