#387 (Aug 7, 2017, 12:50:09 AM)

1. slightly generalized card_lists_distinct_length_eq; renamed specialized card_lists_distinct_length_eq to card_lists_distinct_length_eq'; tuned (detail / hgweb)
2. merged (detail / hgweb)
3. further cleanup of "guess" (detail / hgweb)
4. towards a cleanup of Henstock_Kurzweil_Integration.thy (detail / hgweb)
5. merged (detail / hgweb)
6. proper check for active server; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. handle server connections; (detail / hgweb)
10. clarified database names; (detail / hgweb)
11. more options;
    misc tuning and clarification; (detail / hgweb)
12. support for resident Isabelle servers; (detail / hgweb)
13. default according to Java API, instead of jEdit usage; (detail / hgweb)
14. do not fall back on nbe if plain evaluation fails (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 35 min build duration;
• 1 hr 35 min total from scheduled to completion.