Custom Query (361 matches)
Results (91 - 93 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #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 |
|||
| #471 | fixed | ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz | ||
| Description |
Hi, with Proofgeneral.jpg missing, it is impossible to rebuild the pdf documentation. 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 |
|||
Note: See TracQuery
for help on using queries.
