#2027 (Oct 9, 2023, 2:12:45 AM)

1. update documentation on Isabelle/ML exceptions; (detail / hgweb)
2. misc tuning; (detail / hgweb)
3. discontinue obsolete "Interrupt" constructor (NB: catch-all pattern produces ML compiler error); (detail / hgweb)
4. proper thread context for "isabelle-markup" Sidekick parser (amending 01a7265db76b); (detail / hgweb)
5. proper Scala version, e.g. for IntelliJ IDEA; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 22 min waiting;
• 2 hr 3 min build duration;
• 3 hr 26 min total from scheduled to completion.