Custom Query (361 matches)
Results (79 - 81 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#450 | fixed | Proof in proof tree | ||
#451 | fixed | support {} and bullets in prooftree | ||
#453 | upstream | Sending too-large definitions gets stuck |
Note: See TracQuery
for help on using queries.