Custom Query (361 matches)
Results (139 - 141 of 361)
Ticket | Owner | Reporter | Resolution | Summary |
---|---|---|---|---|
#299 | needmoreinfo | Out of sync with Isabelle | ||
#300 | fixed | Emacs 22: strange keyword categorization | ||
#301 | invalid | Ubuntu 9.10: PG menus broken |
Note: See TracQuery
for help on using queries.