Custom Query (361 matches)
Results (19 - 21 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #117 | fixed | Add resized toolbar icons | ||
| Description |
Add resized toolbar icons that match Emacs 22's GNOME look to avoid ugly toolbar resizing. |
|||
| #225 | wontfix | Allow Unicode Tokens to work smoothly for several modes at once | ||
| Description |
Allow Unicode Tokens to work smoothly for several modes at once. This would enable use with LaTeX and other modes at the same time as in PG. |
|||
| #176 | fixed | Allow isabelle-chosen-logic to be set by variable comment in thy file | ||
| Description |
At the moment a comment like (* -*- isabelle-chosen-logic: "HOL-Nominal" -*- *) doesn't work as desired because of the way the program arguments are set only when we change with the menu. Could improve this by using a calculate function like Coq does. |
|||
Note: See TracQuery
for help on using queries.
