#1647 (May 11, 2018, 11:25:06 PM)

1. some export of foundational theory content; (detail / hgweb)
2. support for general theory presentation; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 51 min total from scheduled to completion.