Custom Query (361 matches)
Results (22 - 24 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #117 | fixed | Add resized toolbar icons | ||
| Description |
Add resized toolbar icons that match Emacs 22's GNOME look to avoid ugly toolbar resizing. |
|||
| #131 | fixed | Add preference setting for interrupt command | ||
| Description |
This is prover specific and (in the case of Isabelle), unfortunately hard to determine. Code currently has "killall -2 HOL" hardwired. This should be moved to a prover preference setting (near Use PGIP interrupts) |
|||
| #137 | fixed | Add output highlighting/insert support for Isar and sledgehammer ("Sendback") | ||
Note: See TracQuery
for help on using queries.
