Opened 16 years ago
Closed 15 years ago
#232 closed enhancement (fixed)
Add documentation for Unicode Tokens mode
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Documentation in Proof General manual and in minor mode docstring.
Change History (2)
comment:1 Changed 15 years ago by
comment:2 Changed 15 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Now done. Usability tweaks to tokens added too (inc list shortcuts command).