Custom Query (8 matches)
Status: closed (8 matches)
| Ticket | Summary | Owner | Type | Priority | Resolution | Created |
|---|---|---|---|---|---|---|
| #368 | coq, already defined values | defect | major | needmoreinfo | 14 years ago | |
| #331 | Coq config for proof-goal-command and proof-save-command | enhancement | minor | fixed | 14 years ago | |
| #342 | Distracting error (actually raised by coq-command-at-point) | defect | minor | fixed | 14 years ago | |
| #343 | Missing test in proof-store-buffer-win | defect | minor | fixed | 14 years ago | |
| #347 | Slight change in proof-store-buffer-win to enable undo in the Notepad | enhancement | minor | fixed | 14 years ago | |
| #348 | Need to update in coq-syntax.el the keywords containing the word Local | defect | minor | fixed | 14 years ago | |
| #356 | Coq identifiers are unexpectedly colorized | defect | minor | fixed | 14 years ago | |
| #359 | Fix coq.el bindings (coq-insert-term, proof-store-goals-win, & coq-SearchAbout) | defect | minor | fixed | 14 years ago |
Note: See TracQuery
for help on using queries.
