#1999 (Aug 9, 2023, 12:50:10 AM)

1. more robust support for ARM64 platform; (detail / hgweb)
2. proper support for Apple Silicon (ARM64); (detail / hgweb)
3. merged (detail / hgweb)
4. tuned: more symmetric and more robust wrt. evolution of theory loader vs. PIDE state; (detail / hgweb)
5. proper imports_keywords (amending 40a365360680), e.g. relevant for implicit "print_state" for commands defined after Pure; (detail / hgweb)
6. proper prev_thy (amending 92a547feec88), notably for the sake of 'print_theorems', which is the only use of Toplevel.previous_theory_of; (detail / hgweb)
7. made another two tactics more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch) (detail / hgweb)
8. made tactic more robust in presence of BNFs nesting live variables (reported by Wolfgang Jeltsch) (detail / hgweb)

Started by an SCM change

This run spent:

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