#983 (Jul 15, 2017, 8:41:13 AM)

1. merge from afp-2016-1 (detail / hgweb)
2. new entry Minkowskis_Theorem (detail / hgweb)
3. Name_Carrying_Type_Inference: streamlined theory imports (detail / hgweb)
4. new entry Name_Carrying_Type_Inference (detail / hgweb)
5. Merged in ammerbauer/afp-2016-1 (pull request #8)
   
   Default
   
   Approved-by: Lars Hupel <lars.hupel@mytum.de> (detail / hgweb)
6. sitegen builds download site (detail / hgweb)
7. Replace optparse with argparse (detail / hgweb)

Started by an SCM change

This run spent:

• 9 sec waiting;
• 3 min 40 sec build duration;
• 3 min 50 sec total from scheduled to completion.