Custom Query (2 matches)
Status: closed (1 match)
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
|---|---|---|---|---|---|---|
| #419 | Print Fully Explicit option gets out of sync after undoing before point where it was changed | defect | minor | fixed | 13 years ago | |
Status: new (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
| #498 | coq-compile-before-require should allow non-source installations | defect | major | 10 years ago | ||
Note: See TracQuery
for help on using queries.
