#1387 (Feb 7, 2018, 2:23:11 PM)

1. merge (detail / hgweb)
2. merge from AFP Isabelle2017, already adapted Treaps, First_Order_Terms, LLL_Basis_Reduction (detail / hgweb)
3. adjusted sequence of author's in Treaps (accord. to mail by Manuel), typo in abstract of First_Order_Terms (detail / hgweb)
4. New entry LLL_Factorization (detail / hgweb)
5. website update (detail / hgweb)
6. new entry: Treaps (detail / hgweb)
7. New entry: First_Order_Terms (detail / hgweb)
8. new entry LLL_Basis_Reduction (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.