#3698 (Jun 25, 2022, 6:44:04 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. prefer antiquotations; (detail)
2. clarified modules; (detail)
3. more documentation; (detail)
4. merged (detail)
5. tuned whitespace; (detail)
6. clarified signature: File.read_lines is based on scalable Bytes.T;
   discontinued somewhat pointless File.fold_lines; (detail)
7. clarified modules; (detail)
8. prefer scalable Bytes.T; (detail)
9. unused; (detail)
10. prefer scalable Bytes.T; (detail)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. merged (detail)
2. avoid hardwired pdf; (detail)
3. adapted to Isabelle/986506233812; (detail)

Started by an SCM change

This run spent:

• 2 min 2 sec waiting;
• 3 hr 29 min build duration;
• 3 hr 31 min total from scheduled to completion.