#1289 (Sep 28, 2020, 2:15:26 AM)

1. suppress ligatures more robustly, notably for lualatex; (detail / hgweb)
2. ISABELLE_PDFLATEX is now lualatex;
   tuned whitespace to enforce fresh build; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 25 min waiting;
• 1 hr 28 min build duration;
• 2 hr 53 min total from scheduled to completion.