Custom Query (105 matches)
Results (101 - 105 of 105)
Status: closed (5 matches)
Ticket | Summary | Owner | Type | Priority | Component | Resolution |
---|---|---|---|---|---|---|
#331 | Coq config for proof-goal-command and proof-save-command | enhancement | minor | 7:prover-coq | fixed | |
#341 | Suggestion to recover the default C-h suffix for Emacs keys help | enhancement | major | 2:pg-emacs | fixed | |
#347 | Slight change in proof-store-buffer-win to enable undo in the Notepad | enhancement | minor | 7:prover-coq | fixed | |
#191 | Code cleanup: remove proof-no-command | task | minor | 2:pg-emacs | fixed | |
#220 | Remove X-Symbol, XEmacs support and backward compatibility | task | blocker | 2:pg-emacs | fixed |
Note: See TracQuery
for help on using queries.