isabelle: Summary

3 hours ago	wenzelm	2018-11-16	renovated macOS tests; default tip	changeset \| files
22 hours ago	wenzelm	2018-11-15	proper citation (amending d8205bb279a7);	changeset \| files
22 hours ago	wenzelm	2018-11-15	proper citation (amending 98ba42f19995);	changeset \| files
45 hours ago	wenzelm	2018-11-14	merged	changeset \| files
46 hours ago	wenzelm	2018-11-14	prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";	changeset \| files
46 hours ago	wenzelm	2018-11-14	more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;	changeset \| files
46 hours ago	wenzelm	2018-11-14	more uniform wrt. File.find_files;	changeset \| files
46 hours ago	wenzelm	2018-11-14	proper use of stat() vs. lstat() (for symlinks);	changeset \| files
47 hours ago	wenzelm	2018-11-14	more uniform find_files, notably for symlinks;	changeset \| files
2 days ago	wenzelm	2018-11-14	is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;	changeset \| files
...

3 hours ago	283837b0b8b9	default	changeset \| changelog \| files
...

isabelle