#1290 (Sep 29, 2020, 12:56:28 AM)

1. some support for document preparation in Isabelle/Scala; (detail / hgweb)
2. unused (see 7b318273a4aa); (detail / hgweb)
3. unused (see 564012e31db1); (detail / hgweb)
4. more standard and more robust, following hints on the Net; (detail / hgweb)
5. obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde); (detail / hgweb)
6. prefer old-fashioned {\ss} to prevent problems with encoding in lualatex; (detail / hgweb)
7. proper Windows 32bit platform; (detail / hgweb)
8. clarified "isabelle logo", after discontinuation of DVI output (see 564012e31db1); (detail / hgweb)

Started by an SCM change

This run spent:

• 6 min 27 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 34 min total from scheduled to completion.