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