Custom Query (3 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
#497 coq auto-compile and spaces in directory names lead to failure new coq,pg-emacs David Aspinall defect minor
#510 coq-time-commands hangs on bullets with Coq-8.5 new coq-time-commands bullets David Aspinall defect minor
Note: See TracQuery for help on using queries.