#2068 (Sep 18, 2022, 1:33:10 AM)

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

1. show SSH options in PIDE GUI; (detail)
2. inplace update: proper Linux version; (detail)
3. provide naproche-20220917; (detail)
4. clarified NEWS; (detail)
5. proper platform directory x86_64-linux, to have it purged for other platforms;
   tuned README; (detail)
6. MLton component for x86_64-linux; (detail)
7. clarified Docker base image; (detail)
8. proper file headers; (detail)
9. tuned messages; (detail)
10. support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable; (detail)
11. omit menu for unfinished tool; (detail)

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

1. merged (detail)
2. support for ISABELLE_MLTON_OPTIONS, following Isabelle/d27ed188e0c4; (detail)
3. Renaming synthesized formulas (detail)

Started by an SCM change

This run spent:

• 6.9 sec waiting;
• 11 hr build duration;
• 11 hr total from scheduled to completion.