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