diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-05-25 14:01:25 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-05-25 14:01:25 +0000 |
| commit | 2f35ed5b5af2a9227e25f60838c671136609f78a (patch) | |
| tree | de79050e32062de4b64eb2aa3dd0c7fbb351e3ac /etc/coq | |
| parent | bf5f65e7f091a955a67c58d8560fa5c5527a6d8d (diff) | |
Updated.
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 *) + |