#789 (Nov 15, 2018, 12:50:07 AM)

1. merged (detail / hgweb)
2. prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()"; (detail / hgweb)
3. more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content; (detail / hgweb)
4. more uniform wrt. File.find_files; (detail / hgweb)
5. proper use of stat() vs. lstat() (for symlinks); (detail / hgweb)
6. more uniform find_files, notably for symlinks; (detail / hgweb)
7. is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh; (detail / hgweb)
8. clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches"); (detail / hgweb)
9. fixed import (detail / hgweb)
10. extract example for ab_group_add_on_with (detail / hgweb)
11. generalized local_typedef_ab_group_add (detail / hgweb)
12. use locales in Group_On_With (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.