Comment 21 for bug 26118

Revision history for this message
Ilmari Vacklin (wolverian) wrote :

Sorry, my "fix" was bogus. I checked the results with a TeXmacs-produced PDF, which apparently includes different fonts than what e.g. pdfetex does. The TeXmacs fonts look fine. (I wonder why.)