Opened 16 years ago
Closed 15 years ago
#218 closed defect (fixed)
Add documentation for Isabelle settings
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Latest GNU Emacs 23 has nice tooltips for help in menu commands.
We should pass through the documentation for Isabelle settings in the setprefs commands to make use of this. NB: may require change in Isabelle too.
Change History (3)
comment:1 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.2 → PG-Emacs-4.0 |
|---|
comment:2 Changed 15 years ago by
comment:3 Changed 15 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Fixed now (no changes required, doc string was already generated).