Custom Query (361 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (34 - 36 of 361)

2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
Ticket Resolution Summary Owner Reporter
#461 fixed old manuals on website David Aspinall coquser
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 hendrik coquser
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 David Aspinall coquser
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.

2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
Note: See TracQuery for help on using queries.