#1425 (Mar 22, 2021, 2:13:46 AM)

1. clarified package name (actually both pxfonts and txfonts exist and have this font); (detail / hgweb)
2. tuned; (detail / hgweb)
3. prefer isabelle bbbfont; (detail / hgweb)
4. enforce full build; (detail / hgweb)
5. clarified symbol names, notably relevant for Z_Notation; (detail / hgweb)
6. update README (actually after update of component); (detail / hgweb)
7. high-quality blackboard-bold fonts from "txmia" (package "txfonts"); (detail / hgweb)

Started by an SCM change

This run spent:

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