Custom Query (105 matches)
Results (101 - 105 of 105)
Status: closed (5 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Resolution |
|---|---|---|---|---|---|---|
| #348 | Need to update in coq-syntax.el the keywords containing the word Local | defect | minor | 7:prover-coq | fixed | |
| #356 | Coq identifiers are unexpectedly colorized | defect | minor | 7:prover-coq | fixed | |
| #359 | Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) | defect | minor | 7:prover-coq | fixed | |
| #362 | Proof Completed message for Coq is lost | defect | minor | 2:pg-emacs | fixed | |
| #325 | Splash buffer occupies half the frame | defect | trivial | 2:pg-emacs | duplicate |
Note: See TracQuery
for help on using queries.
