#1506 (Mar 7, 2018, 7:28:02 PM)

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)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 43 min build duration;
• 1 hr 48 min total from scheduled to completion.