#573 (Mar 8, 2018, 12:50:08 AM)

1. more abbrevs -- this makes "(=" ambiguous and thus simplifies input of "(=)" (within the context of Main HOL); (detail / hgweb)
2. tuned -- more uniform; (detail / hgweb)
3. eliminated somewhat pointless parallelism (from 857da80611ab): usually hundreds of tasks with < 1ms each, also note that the enclosing join_theory happens within theory graph parallelism; (detail / hgweb)
4. Drop rewrite rule arguments of sublocale and interpretation implementations. (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.