Custom Query (361 matches)
Results (34 - 36 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #459 | wontfix | Can not split the window vertically | ||
| Description |
I'm using the Proof General 4.2 with emacs 23.3.1 in ubunbu 12.04 to program with coq.While I was using it to step the coq script,I found that the window was splitted horizontally as which was shown in the attachment.I try to use the "M-x proof-three-window-toogle" and "M-x proof-layout-window" to change the layout so that the window will be splitted vertically. Unfortunately it's of no use. In Proof General 4.1 with emacs 23.3.1 in ubuntu 12.04,I can split the window vertically by the above commands,while the contents in the "coq goals" was not cleaned. I'm not quite familiar with emacs.So I want to know how to solve these problems. |
|||
| #138 | fixed | Can't insert text after locking a comment | ||
| Description |
Dear Proof General developers, When I issue the proof-assert-next-command-interactive (C-c C-n) command over a comment in a Coq file, the comment is joined to the locked region and the cursor is positioned at the end of the comment. After that, I cannot insert any text: whatever I type, I get a beep and a message "Region is read-only" in the minibuffer. As far as I noticed, this only happens when I type just after I have locked a comment; after I process other Coq commands, I am able to enter text. This happens when I am using the CVS snapshot 3.7pre070704 even with no .emacs file. By the way, when I was writing this, the link "bug tracker" on the PG home page http://proofgeneral.inf.ed.ac.uk/ was broken. |
|||
| #265 | invalid | Cannot open load file: easymenu | ||
| Description |
This is GNU Emacs 22.1.1 on Cygwin.
Here startup fails: |
|||
