#1726 (Jul 2, 2022, 12:50:08 AM)

1. provide components for scala3 (still inactive); (detail / hgweb)
2. updated download version; (detail / hgweb)
3. obsolete; (detail / hgweb)
4. more keywords for scala3; (detail / hgweb)
5. discontinued Isabelle tools implemented as .scala scripts; (detail / hgweb)
6. tuned proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 1 hr 47 min build duration;
• 1 hr 47 min total from scheduled to completion.