Custom Query (361 matches)
Results (49 - 51 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#266 | fixed | Limited hilite markup (in Isabelle) | ||
#267 | fixed | Isabelle sendback markup dysfunctional | ||
#270 | fixed | Odd PG/Trac link |
Note: See TracQuery
for help on using queries.