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