Custom Query (361 matches)
Results (10 - 12 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#444 | fixed | three windows mode at pg start when a warning window | ||
Description |
To reproduce it: set the three-pane mode to true by setting the emacs variable proof-three-window-enable to t. be sure to have a warning message at pg start (for example by using a different version of emacs thant the one it was compiled for). open a .v file Effect: the .v file is not displayed, the warning buffer + the response buffer are displayed instead. |
|||
#470 | fixed | texinfo 5.1 incompatibility | ||
Description |
Hi, the \def\fontdefs line in ProofGeneral.texi and PG-adapting.texi cause an error with texinfo 5.1. It says about 20 times
What is this fontdefs line responsible for? Does anybody know a fix besides of deleting this line? Bye, Hendrik |
|||
#472 | fixed | texi2pdf loads Proofgeneral.pdf as image | ||
Description |
Hi, I don't know why this happens only now, but under certain conditions, the line
in ProofGeneral.texi causes ProofGeneral.pdf to get loaded as image, which, of course, results in an error. Is it OK to rename ProofGeneral.jpg into ProofGeneral-image.ipg? Bye, Hendrik |