Custom Query (361 matches)
Results (79 - 81 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #450 | fixed | Proof in proof tree | ||
| Description |
With 8.4 Proof appears as command in the proof tree. Hendrik |
|||
| #451 | fixed | support {} and bullets in prooftree | ||
| Description |
see subject |
|||
| #453 | upstream | Sending too-large definitions gets stuck | ||
| Description |
With a sufficiently large definition, as attached, Proof General never finishes advancing past it, and also can't retract until I send an interrupt or kill the Coq process. I'm using Coq 8.4, emacs 24.1.1, and have tried both the stable and development releases of Proof General. It works fine in coqide, or as coqtop -emacs < bug.v. |
|||
Note: See TracQuery
for help on using queries.
