Custom Query (361 matches)
Results (40 - 42 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#452 | fixed | Some Isabelle options enabled but not active | ||
#451 | fixed | support {} and bullets in prooftree | ||
#450 | fixed | Proof in proof tree |
Note: See TracQuery
for help on using queries.