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