Custom Query (2 matches)
Status: closed (2 matches)
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#439 | Hang on open bracket | defect | major | invalid | 12 years ago | |
#431 | "This subproof is complete" appears at bottom of goals | defect | trivial | needmoreinfo | 12 years ago |
Note: See TracQuery
for help on using queries.