#2062 (Nov 26, 2023, 12:50:11 AM)

1. clarified signature; (detail / hgweb)
2. clarified modules; (detail / hgweb)
3. clarified modules;
   clarified transactions; (detail / hgweb)
4. clarified modules: Build_Log.private_data provides raw data access without transaction_lock; (detail / hgweb)
5. more thorough transaction_lock; (detail / hgweb)
6. obsolete, see also a5896fe040dd; (detail / hgweb)
7. removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf); (detail / hgweb)
8. provide src/Tools/Demo as example for system component with Isabelle/Scala tool; (detail / hgweb)

Started by an SCM change

This run spent:

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