Custom Query (361 matches)
Results (64 - 66 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #426 | fixed | proof-user-options custom group partly broken | ||
| Description |
displaying this customization group gives an error and a lot of options are invisible |
|||
| #424 | fixed | proof-shell-exit does not follow standard emacs policy with query-exit. | ||
| Description |
Currently, when there is a running prover process and user, hitting C-x C-c exits emacs without the usual user confirmation about process still running. |
|||
| #423 | fixed | List customisation variables use wrong widget | ||
| Description |
Customisation variables which take a list of strings like coq-prog-args use the wrong widget, so they can't be edited as a list. |
|||
Note: See TracQuery
for help on using queries.
