Custom Query (105 matches)
Results (101 - 105 of 105)
Status: closed (5 matches)
| Ticket | Summary | Owner | Type | Priority | Component | Resolution |
|---|---|---|---|---|---|---|
| #347 | Slight change in proof-store-buffer-win to enable undo in the Notepad | enhancement | minor | 7:prover-coq | fixed | |
| #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 | |
| #368 | coq, already defined values | defect | major | 7:prover-coq | needmoreinfo |
Note: See TracQuery
for help on using queries.
