Custom Query (361 matches)
Results (22 - 24 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#299 | needmoreinfo | Out of sync with Isabelle | ||
#305 | needmoreinfo | High overhead | ||
#321 | needmoreinfo | Retract buffer broken |
Note: See TracQuery
for help on using queries.