Custom Query (361 matches)
Results (58 - 60 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#113 | fixed | Coq commands not described in coq/coq-syntax.el | ||
#331 | fixed | Coq config for proof-goal-command and proof-save-command | ||
#233 | fixed | Coq fails to start |
Note: See TracQuery
for help on using queries.