Custom Query (361 matches)
Results (115 - 117 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#263 | fixed | proof-shell-trace-output-regexp in trace output | ||
#266 | fixed | Limited hilite markup (in Isabelle) | ||
#267 | fixed | Isabelle sendback markup dysfunctional |
Note: See TracQuery
for help on using queries.