#1965 (Jun 1, 2023, 12:50:07 AM)

1. NEWS: Announcing the metric space material (detail / hgweb)
2. merged (detail / hgweb)
3. Hiding the constructor names, particularly to avoid conflicts involving "ext" (detail / hgweb)
4. New HOL Light material on metric spaces and topological spaces (detail / hgweb)
5. enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML; (detail / hgweb)
6. provide scala-3.3.0; (detail / hgweb)
7. more NEWS; (detail / hgweb)
8. tuned NEWS; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 2 hr 2 min build duration;
• 2 hr 2 min total from scheduled to completion.