#1595 (Nov 10, 2021, 12:50:08 AM)

1. merged (detail / hgweb)
2. tuned attributes to avoid looping (detail / hgweb)
3. added eq_iff_swap for creating symmetric variants of thms; applied it in List. (detail / hgweb)
4. tuned text; (detail / hgweb)
5. more robust timeout, following df4449c6eff1; (detail / hgweb)
6. more accurate Files.isRegularFile, exclude directories (e.g. jar_path); (detail / hgweb)
7. proper java_version for isabelle_setup; (detail / hgweb)

Started by an SCM change

This run spent:

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