Custom Query (3 matches)
Ticket | Summary | Status | Keywords | Owner | Type | Priority |
---|---|---|---|---|---|---|
#497 | coq auto-compile and spaces in directory names lead to failure | new | coq,pg-emacs | defect | minor | |
#454 | coq mode: compile before import fails when no .v file | assigned | coq compile | enhancement | major | |
#510 | coq-time-commands hangs on bullets with Coq-8.5 | new | coq-time-commands bullets | defect | minor |
Note: See TracQuery
for help on using queries.