#1347 (Dec 1, 2020, 12:50:09 AM)

1. A bunch of suggestions from Pedro Sánchez Terraf (detail / hgweb)
2. merged (detail / hgweb)
3. merged (detail / hgweb)
4. tweaked (detail / hgweb)
5. obsolete -- done by Isabelle/PIDE/ML; (detail / hgweb)
6. tuned whitespace --- avoid TABs; (detail / hgweb)
7. updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4; (detail / hgweb)
8. updated to postgresql-42.2.18; (detail / hgweb)
9. updated to jfreechart-1.5.1; (detail / hgweb)
10. updated to current cygwin-20201130, after 3.1.7-1 from 24-Aug-2020; (detail / hgweb)
11. Added tag Isabelle2021-RC0 for changeset 21ff9c1a4644 (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.