Custom Query (361 matches)
Results (16 - 18 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#121 | fixed | Add download counter to web | ||
Description |
Since we don't use ISDD we should be counting downloads ourselves. |
|||
#137 | fixed | Add output highlighting/insert support for Isar and sledgehammer ("Sendback") | ||
#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) |
Note: See TracQuery
for help on using queries.