Custom Query (1 match)
Ticket | Summary | Status | Type | Priority | Milestone | Component |
---|---|---|---|---|---|---|
#454 | coq mode: compile before import fails when no .v file | assigned | enhancement | major | PG-Emacs-4.3 | 2:pg-emacs |
Note: See TracQuery
for help on using queries.