#1858 (Jan 7, 2023, 12:50:10 AM)

1. enforce rebuild of Isabelle/ML to update build databases; (detail / hgweb)
2. prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21: (detail / hgweb)
3. proper treatment of unicode_symbols; (detail / hgweb)
4. tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status; (detail / hgweb)
5. removed unused operation: unclear wrt. Symbol.encode/decode status; (detail / hgweb)
6. tuned signature: more uniform operations; (detail / hgweb)
7. tuned comments; (detail / hgweb)
8. unused; (detail / hgweb)
9. more uniform operations;
   plain file_name instead of blob.src_path.implode_short; (detail / hgweb)
10. restrict to proper_session_theories; (detail / hgweb)
11. proper build parameters (amending d858e6f15da3); (detail / hgweb)
12. treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions; (detail / hgweb)
13. more command-line options; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 51 min total from scheduled to completion.