#1421 (Feb 26, 2018, 10:26:10 AM)

1. merged (abendkamp/afp-devel/deep_learning) (detail / hgweb)
2. Deep Learning: add types in defs (detail / hgweb)
3. Remove old todo (detail / hgweb)
4. Remove use of Hilbert choice (detail / hgweb)
5. Add shared weights variant to deep learning thm (detail / hgweb)
6. interpretations for locales in deep learning (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 2 hr 32 min build duration;
• 2 hr 32 min total from scheduled to completion.