Custom Query (361 matches)
Results (10 - 12 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #6 | fixed | Add code folding for proof scripts | ||
| Description |
Add code folding for proof scripts. Hua Yang had some experimental code which hard-coded Isabelle syntax; this should be revisited and revised to use the document parse instead. |
|||
| #226 | wontfix | Add configurable key bindings to Unicode Tokens tables | ||
| Description |
Tokens could be used to configure some useful common keybindings, cf the useful old bindings of X-Symbol. Since token appearance is mode specific these also belong to modes. |
|||
| #218 | fixed | Add documentation for Isabelle settings | ||
| 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. |
|||
Note: See TracQuery
for help on using queries.
