Opened 17 years ago
Closed 16 years ago
#118 closed enhancement (wontfix)
Complete X-Symbol unicode patch and add symbol configuration for Isabelle
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-3.7.1 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
X-Symbol unicode patch allows use of token languages to input Unicode characters. Early work on this is now included in Proof General's bundled version of X-Symbol.
Change History (2)
comment:1 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7 → PG-Emacs-3.7.1 |
|---|
comment:2 Changed 16 years ago by
| Resolution: | → wontfix |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
I now view this as a dead-end. The X-Symbol code is too crufty and unmaintained. The simple Unicode Tokens should be a robust replacement, and relies more on modern machinery.