#802 (Nov 29, 2018, 12:50:12 AM)

1. prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf); (detail / hgweb)
2. clarified signature: fonts are not dependent on GUI; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. clarified signature; (detail / hgweb)
5. avoid loading of font file, to eliminate "Illegal reflective access by com.lowagie.text.pdf.MappedRandomAccessFile$1 (iText-2.1.5.jar) to method java.nio.DirectByteBuffer.cleaner()" -- due to com.lowagie.text.pdf.TrueTypeFont.process() / RandomAccessFileOrArray; (detail / hgweb)
6. proper font file name for HTTP (amending dc9a39c3f75d);
   clarified Entry content; (detail / hgweb)
7. clarified order; (detail / hgweb)
8. tuned whitespace; (detail / hgweb)
9. clarified symbol groups; (detail / hgweb)
10. more explicit Isabelle_Fonts.Entry;
    more robust font embedding into PDF and HTML; (detail / hgweb)
11. prefer Isabelle_Fonts.sans for GUI; (detail / hgweb)
12. prefer Isabelle_Fonts.sans (not mono) as derived GUI font; (detail / hgweb)
13. clarified signature; (detail / hgweb)
14. proper file names; (detail / hgweb)
15. clarified modules; (detail / hgweb)
16. clarified Admin resources;
    tuned comments; (detail / hgweb)

Started by an SCM change

This run spent:

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