#1076 (Dec 5, 2019, 12:50:09 AM)

1. merged (detail / hgweb)
2. clarified messages streaming (again, amending 5ea3ed3c52b3): avoid too many small messages stacking up, e.g. when loading HOL-Analysis.Analysis.thy into Isabelle/jEdit; (detail / hgweb)
3. moved segment lemmas where they belong (detail / hgweb)
4. merged (detail / hgweb)
5. moved lemmas (detail / hgweb)
6. merged (detail / hgweb)
7. two new theorems (detail / hgweb)
8. moved lemma (detail / hgweb)
9. made internal name generation in case expressions more robust (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.