Custom Query (361 matches)
Results (34 - 36 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#461 | fixed | old manuals on website | ||
Description |
Hi, the PG website still shows the 4.1 version of both manuals (both html and pdf). Bye, Hendrik |
|||
#460 | worksforme | proof general hanging on Coq Definition in file generated by Why3 | ||
Description |
When I try to process the attached Coq file using ProofGeneral, it gets hung up on the Definition of IB6_IB7_QueryTags_First. In contrast, coqtop file works on this file. The file was generated by Why3's Coq driver, so maybe it's doing something that's syntactically unusual. I'm running PG 4.1 on GNU Emacs 24.2.1. The Coq version is 8.3pl4. |
|||
#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. |