blob: 1ed3326814a1f226ea044f9ac78f3c01c340e5a7 (
plain)
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 *)
|