#1416 (Mar 11, 2021, 2:04:34 AM)

1. merged (detail / hgweb)
2. proper \usepackage[T1]{fontenc}; (detail / hgweb)
3. more robust init: avoid spilling opam artifacts; (detail / hgweb)
4. proper type-setting of cartouches (requires T1);
   \usepackage[T1]{fontenc} is default for mkroot;
   \usepackage[utf8]{inputenc} is obsolete in lualatex; (detail / hgweb)
5. provide \usepackage{textcomp} (again), for the sake of Ubuntu 16.04; (detail / hgweb)
6. more robust;
   eliminated perl; (detail / hgweb)
7. removed unused latex packages; (detail / hgweb)
8. obsolete (see 0c837beeb5e7); (detail / hgweb)
9. proper Isabelle/Scala tool --- avoid perl; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 14 min waiting;
• 1 hr 31 min build duration;
• 2 hr 46 min total from scheduled to completion.