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.