descriptionThe Isabelle repository
ownerisabelle
last changeFri, 16 Nov 2018 16:21:21 +0100
changes
3 hours ago wenzelm 2018-11-16 renovated macOS tests; default tip
22 hours ago wenzelm 2018-11-15 proper citation (amending d8205bb279a7);
22 hours ago wenzelm 2018-11-15 proper citation (amending 98ba42f19995);
45 hours ago wenzelm 2018-11-14 merged
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()";
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;
46 hours ago wenzelm 2018-11-14 more uniform wrt. File.find_files;
46 hours ago wenzelm 2018-11-14 proper use of stat() vs. lstat() (for symlinks);
47 hours ago wenzelm 2018-11-14 more uniform find_files, notably for symlinks;
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;
...
tags
3 months ago Isabelle2018
13 months ago Isabelle2017
23 months ago Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
...
branches
3 hours ago 283837b0b8b9 default
...