Custom Query (2 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Ticket Summary Status Keywords Owner Type Priority
#454 coq mode: compile before import fails when no .v file assigned coq compile hendrik enhancement major
#509 isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. new make compile David Aspinall defect minor
Note: See TracQuery for help on using queries.