[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

Here's Isabelle2013-2, which looks good to me in Acrobat, Firefox, and Chrome:

http://isabelle.in.tum.de/website-Isabelle2013-2/dist/Isabelle2013-2/doc/locales.pdf#page.9

Regards,
GB






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