Custom Query (3 matches)
Status: closed (1 match)
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
|---|---|---|---|---|---|---|
| #511 | new Coq command "From" supported by PG? | defect | blocker | invalid | 8 years ago | |
Status: new (2 matches) |
||||||
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
| #462 | Improve library bundling | defect | minor | 11 years ago | ||
| #513 | Splash screen disappears too quickly | defect | minor | 8 years ago | ||
Note: See TracQuery
for help on using queries.
