Opened 14 years ago
Closed 13 years ago
#313 closed defect (wontfix)
Unicode tokens: tweak support for Coq
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-4.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
The Unicode Tokens support for Coq is not entirely compatible with the old X-Symbol configuration. See examples documentation in coq/example-tokens.v
.
However, it appears that few people use or rely on this precise behaviour.
Please comment in this ticket if you are concerned/affected, or would like to improve the support for additional font and symbol control mechanisms somehow.
Change History (2)
comment:1 Changed 14 years ago by
Status: | new → accepted |
---|
comment:2 Changed 13 years ago by
Resolution: | → wontfix |
---|---|
Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.
Closing this. I don't know if (m)any Coq users are using Unicode Tokens. Supporting the precise previous mechanism is a bit tricky.