Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Resolution: fixed (2 matches)

Ticket Summary Owner Type Priority Created Modified
#357 Feature suggestion: function + binding to insert Coq closing tactics David Aspinall enhancement major 10 years ago 10 years ago
#382 coq-mode inhibits automatic saving of abbrevs David Aspinall defect major 10 years ago 10 years ago
Note: See TracQuery for help on using queries.