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:

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



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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