#1240 (Dec 9, 2017, 8:26:11 PM)

1. fine-tuned simpset for proving that automatically generated show functions
   satisfy show law (this should resolve a problem reported by Fabian Immler that
   success of 'derive "show" ...' sometimes depends on argument order of
   constructors) (detail / hgweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 43 min build duration;
• 43 min total from scheduled to completion.