more Java 11 illegal-access warnings;

prefer more powerful machine;

renovated macOS tests;

proper citation (amending d8205bb279a7);

proper citation (amending 98ba42f19995);

merged

prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";

more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;

more uniform wrt. File.find_files;

proper use of stat() vs. lstat() (for symlinks);

more uniform find_files, notably for symlinks;

is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;

clarified default (amending 72a9860f8602): avoid implicit change of File.find_files (it can have bad effects e.g. on "isabelle update_cartouches");

fixed import

extract example for ab_group_add_on_with

generalized local_typedef_ab_group_add

use locales in Group_On_With

more robust;

clarified find_files: follow links by default, e.g. relevant for "~/cronjob/log";

tuned;

more Haskell operations;

tuned signature;

clarified signature;

more Haskell operations; more accurate exports; tuned;