diff options
Diffstat (limited to 'etc/coq')
-rw-r--r-- | etc/coq/bug-114.v | 5 |
1 files changed, 4 insertions, 1 deletions
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 *) + |