#565 (Feb 26, 2018, 12:50:07 AM)

1. merged (detail / hgweb)
2. prefer symbols; (detail / hgweb)
3. tuned; (detail / hgweb)
4. more abbrevs; (detail / hgweb)
5. allow multiple entries of and_list (on both sides); (detail / hgweb)
6. eliminated ASCII syntax from Pure bootstrap;
   tuned comments; (detail / hgweb)
7. merged (detail / hgweb)
8. new material on matrices, etc., and consolidating duplicate results about of_nat (detail / hgweb)
9. notation for dummy sort; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.4 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 12 min total from scheduled to completion.