#1674 (May 22, 2018, 11:25:06 AM)

1. merged (detail / hgweb)
2. more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact); (detail / hgweb)

Started by an SCM change

This run spent:

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