#1575 (May 9, 2018, 8:10:00 PM)

1. merged (detail / hgweb)
2. used List.sorted_wrt (detail / hgweb)
3. VerifyThis2018 fully adapted from Isabelle 2017 to Isabelle dev (detail / hgweb)
4. ported several parts in VerifyThis2018 from Isabelle 2017 to Isabelle-dev (detail / hgweb)

Started by an SCM change

This run spent:

• 9.1 sec waiting;
• 2 hr 0 min build duration;
• 2 hr 0 min total from scheduled to completion.