#1449 (Mar 20, 2018, 4:17:15 PM)

1. merge from AFP 2017 (detail / hgweb)
2. merge from AFP-2017 + website regen (detail / hgweb)
3. fixed severe problem in LLL basis reduction algorithm: size of numbers now stay polynomial (detail / hgweb)
4. sitegen (detail / hgweb)
5. new entry Weight_Balanced_Trees (detail / hgweb)
6. Added quotes to avoid conflict with keyword derive from the entry Deriving (detail / hgweb)

Started by an SCM change

This run spent:

• 8.2 sec waiting;
• 1 hr 48 min build duration;
• 1 hr 48 min total from scheduled to completion.