Re: [isabelle] Isabelle2014-RC0: vertical spacing bad pg.9 of locales.pdf



> On page 9 of locales.pdf, the vertical spacing is off for an equation.
> In Acrobat, Firefox, and Chrome, it's bad for me here:
> 
> http://isabelle.in.tum.de/website-Isabelle2014-RC0/dist/Isabelle2014-RC0/doc/locales.pdf#page.9

I can confirm that for evince (libpoppler) also.  Are there any TeX
gurus around which have an idea what this is about?

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.