#997 (Aug 1, 2017, 7:00:43 PM)

1. adapted Decl_Sem_Fun_PL from Isabelle 2016-1 to development (detail / hgweb)
2. adapted DynamicArchitectures from 2016-1 to development (detail / hgweb)

Started by an SCM change

This run spent:

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