#650 (Dec 28, 2016, 7:10:05 PM)

1. print constants in 'primrec', 'primcorec(ursive)', 'corec(ursive)', like in 'definition' and 'fun(ction)' (detail / hgweb)

Started by an SCM change

This run spent:

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