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