Custom Query (2 matches)
Status: closed (2 matches)
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
|---|---|---|---|---|---|---|
| #121 | Add download counter to web | enhancement | major | fixed | 17 years ago | |
| #171 | Documentation fix for Isabelle keybindings | defect | minor | fixed | 16 years ago |
Note: See TracQuery
for help on using queries.
