Custom Query (2 matches)
Status: closed (2 matches)
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#382 | coq-mode inhibits automatic saving of abbrevs | defect | major | fixed | 13 years ago | |
#357 | Feature suggestion: function + binding to insert Coq closing tactics | enhancement | major | fixed | 14 years ago |
Note: See TracQuery
for help on using queries.