Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2014-RC0: vertical spacing bad pg.9 of...

Email Gateway (Aug 19 2022 at 14:54):

From: Gottfried Barrow <igbi@gmx.com>
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

Email Gateway (Aug 19 2022 at 14:57):

From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
I can confirm that for evince (libpoppler) also. Are there any TeX
gurus around which have an idea what this is about?

Florian
signature.asc

Email Gateway (Aug 19 2022 at 15:00):

From: Makarius <makarius@sketis.net>
There is nothing special going on here. Clemens Ballarin had some funny
nagitive vspace, presumably to workaround extra inter-theory spacing that
is no longer there in Isabelle2014-RC0. I will change that for the
forthcoming Isabelle2014-RC1 (anticipated for the end of this week).

Makarius

Last updated: Apr 25 2024 at 01:08 UTC