#1606 (Dec 5, 2021, 12:52:06 AM)

1. a slightly simpler proof (detail / hgweb)
2. provide component naproche-2d99afe5c349; (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2021-1-RC5 for changeset 8baf2e8b16e2 (detail / hgweb)
5. more documentation about Type/Const antiquotations; (detail / hgweb)
6. more documentation about document build options; (detail / hgweb)
7. address problems with launch4j and jdk-17 (see also 41d009462d3c, copy of 41d009462d3c); (detail / hgweb)
8. tuned --- fewer IDE warnings; (detail / hgweb)
9. more robust physical timeout (despite 1bea05713dde), especially relevant for quickcheck where large unary numerals may cause excessive heap allocations and resulting GC is better included in the timing; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 min 5 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 41 min total from scheduled to completion.