#1037 (Aug 3, 2017, 9:21:10 AM)

1. simplified function specification history: each pending function specification is historized at the end of a theory, without additional bookkeeping;
   sufficient to keep history stamps rather than complete historized data;
   semantically conflicting specifications are temoprary blacklisted after theory merge but remain historized;
   clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

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