#4610 (Aug 8, 2023, 11:59:05 PM)

Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

1. more robust support for ARM64 platform; (detail)
2. proper support for Apple Silicon (ARM64); (detail)
3. merged (detail)
4. tuned: more symmetric and more robust wrt. evolution of theory loader vs. PIDE state; (detail)
5. proper imports_keywords (amending 40a365360680), e.g. relevant for implicit "print_state" for commands defined after Pure; (detail)
6. proper prev_thy (amending 92a547feec88), notably for the sake of 'print_theorems', which is the only use of Toplevel.previous_theory_of; (detail)

Started by an SCM change

This run spent:

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

• Topological_Semantics