Custom Query (361 matches)
Results (64 - 66 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #230 | wontfix | Configuration simplification: unify regexp/function settings | ||
| Description |
Goal/save settings use strings (for regexps) and functions. We can unify the setting and let the prover choose either, provided it can work also for imenu/speedbar. |
|||
| #231 | wontfix | Consider replacing maths-menu for token mode with own version | ||
| Description |
Instead of using maths-menu, we may configure the menu automatically from the token tables, so including the exact set of tokens and tokens also for compositions (which are not displayable in menus, however). To do this, the mode specific tokens may be collected into separate planes as in the current maths menu, so we need some nested structure with headings in the main table. |
|||
| #272 | wontfix | Port identifier completion code from PG Eclipse. | ||
| Description |
This would be very useful for Isabelle, which already supports the required PGIP commands to query available identifiers. Additionally, names of processed files are passed back to PG which could trigger table updating (perhaps in a lazy fashion). |
|||
