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.