Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] LuaLaTeX compatibility improvements in AFP

view this post on Zulip Email Gateway (Oct 08 2020 at 09:17):

From: Makarius <makarius@sketis.net>
Hi Lars,

thank you for your continued work on improving fine-points on LuaLaTeX in AFP,
e.g. AFP/0ce3effc4844.

Can you say how you find out about remaining problems?

In the first phase, I had some odd failures with TeX installations. Now I
don't see that anymore on my usual test machines: I am running "-o
document=pdf" more often than normal, just to make double sure.

In the second phase, I used the visual diffpdf tool on Ubuntu, but only for
the entries in $ISABELLE_HOME/src/Doc.

Do you have more tricks and techniques to share?

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Oct 08 2020 at 14:57):

From: Lars Hupel <hupel@in.tum.de>

Can you say how you find out about remaining problems?

So far I've only looked at actual build errors as detailed in the logs.

What strikes me as odd is that there appear to be platform differences:
some sessions worked on Ubuntu 18.04 (TeXlive) and failed on macOS
(macTeX). Could be due to outdated LaTeX packages.

Do you have more tricks and techniques to share?

Not really, I'm just looking at error messages and typing in keywords
into Google. For the "Bicategory" session, I contacted the author who
told me how to fix it. I haven't made the effort to compare the PDF
output.

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Oct 08 2020 at 15:25):

From: Makarius <makarius@sketis.net>
Which version of macTeX is this actually?

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Oct 08 2020 at 19:36):

From: Lars Hupel <hupel@in.tum.de>

Which version of macTeX is this actually?

lapnipkow7:~ hupel$ brew cask info mactex
mactex: 2020.0407
https://www.tug.org/mactex/
/usr/local/Caskroom/mactex/2020.0407 (3.9GB)

view this post on Zulip Email Gateway (Oct 16 2020 at 13:57):

From: Makarius <makarius@sketis.net>
Do you still see remaining failures with that TeX installation?

I have tried Isabelle/70032f83b9be + AFP/ff20b0ab160b successfully on macOS
10.14.6 with the regular MacTeX-2020 download from https://tug.org/mactex
(clicking on the app and letting the installer do its job).

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

view this post on Zulip Email Gateway (Oct 16 2020 at 14:28):

From: Lars Hupel <hupel@in.tum.de>
Looks good now, both on Ubuntu and on macOS.

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Dec 21 2024 at 16:20 UTC