#812 (Dec 10, 2018, 12:50:07 AM)

1. tuned message; (detail / hgweb)
2. updated to scala-2.12.8; (detail / hgweb)
3. more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused); (detail / hgweb)
4. clarified names; (detail / hgweb)
5. clarified example: avoid unpacking into /home/isabelle/components at TUM; (detail / hgweb)
6. clarified settings and defaults; (detail / hgweb)

Started by an SCM change

This run spent:

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