#1641 (May 30, 2018, 12:02:13 AM)

1. Update change history for Category3 and MonoidalCategory. (detail / hgweb)
2. Revised axioms for the category locale.  Introduced notation for composition and "in hom". (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 2 hr 29 min build duration;
• 2 hr 30 min total from scheduled to completion.