Custom Query (2 matches)
Ticket | Summary | Status | Keywords | Owner | Type | Priority |
---|---|---|---|---|---|---|
#276 | Unicode tokens: resolve font-lock issues, optimise | accepted | emacsbug | task | major | |
#497 | coq auto-compile and spaces in directory names lead to failure | new | coq,pg-emacs | defect | minor |
Note: See TracQuery
for help on using queries.