Custom Query (361 matches)
Results (28 - 30 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #159 | wontfix | Goal centering | ||
| Description |
Is it possible to have the centering behavior of the *goals* window be configurable? I see from ticket #111 that the behavior was changed recently to center on the bottom of the goal instead of the top of the hypotheses, but unfortunately a lot of things I prove end up with 50 line goals, so the old behavior (while sometimes not ideal) is still better for me. |
|||
| #160 | fixed | "Abort" keyword not recognized in Coq | ||
| Description |
Indentation is not closed properly after an "Abort." statement, following "Theorem". Simple fix: In coq/coq-syntax.el: Add "Abort" to the list of keywords defined in coq-keywords-save-strict (line 618 in ProofGeneral-3.7pre071025). |
|||
| #167 | invalid | GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works | ||
| Description |
I use Isabelle 2007 with PG 3.7pre071112 under GNU Emacs 22.1.1 (i586-suse-linux-gnu, GTK+ Version 2.12.0) of 2007-11-24 on dede (part of opeSUSE 10.3). The undo facility for proof steps works from the keyboard (C-c C-u), but not twice in a row when klicking on the Undo button on the tool bar of Emacs. One may alternate C-c C-u and the Undo button, though. Yours sincerely, Ralph Matthes www.irit.fr/~Ralph.Matthes/ |
|||
