#997 (Aug 29, 2019, 12:50:10 AM)

1. merged (detail / hgweb)
2. enable share_common_data for "isabelle dump" and its derivatives (e.g. "isabelle mmt_import"): this has the potential to reduce ML heap size considerably, after initial command definitions; (detail / hgweb)
3. support for share_common_data after define_command and before actual update: this affects string particles of command tokens; (detail / hgweb)
4. more scalable -- less ML heap requirements; (detail / hgweb)
5. tuned whitespace; (detail / hgweb)
6. Integrate locale activation fallback diagnostics with 'trace_locales'. (detail / hgweb)
7. entry point for analysis without integration theory (detail / hgweb)
8. removed Brouwer_Fixpoint from imports of Derivative (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.