Custom Query (361 matches)
Results (25 - 27 of 361)
Ticket | Owner | Reporter | Resolution | Summary |
---|---|---|---|---|
#4 | fixed | Use stixfonts once they become available | ||
Description |
|
|||
#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. |
|||
#7 | fixed | Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. | ||
Description |
The Proof Explorer view needs to inherit more of the functionality of the Project Explorer, including decoration and extra menus. |
Note: See TracQuery
for help on using queries.