Opened 17 years ago
Last modified 17 years ago
#116 closed defect
Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured — at Initial Version
Reported by: | Robin Green | Owned by: | David Aspinall |
---|---|---|---|
Priority: | trivial | Milestone: | PG-Emacs-3.7 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
In my Coq file, identifiers beginning with "fun" have the "fun" in black and the rest of the identifier coloured.
Emacs: GNU Emacs 22.0.95.1 (x86_64-redhat-linux-gnu, GTK+ Version 2.10.9)
of 2007-03-06 on hs20-bc1-5.build.redhat.com
Proof GeneralVersion? 3.7pre070511.
Note: See
TracTickets for help on using
tickets.