#799 (Nov 25, 2018, 12:50:11 AM)

1. use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.; (detail / hgweb)
2. more shell functions; (detail / hgweb)
3. proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units"; (detail / hgweb)
4. spontaneous update of .sfd files due to fontforge; (detail / hgweb)
5. clarified module name (again); (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.