#1097 (Jan 10, 2020, 12:50:07 AM)

1. proper name; (detail / hgweb)
2. more Isabelle fonts, notably for File Browser title in GTK L&F; (detail / hgweb)
3. eliminated deprecated scala.collection.JavaConversions; (detail / hgweb)
4. unused; (detail / hgweb)
5. tuned -- more direct java.util.Map.of; (detail / hgweb)
6. added lemma (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.