Sat, 21 Apr 2018 08:41:42 +0200 | nipkow | del_min -> split_min | changeset | files |
Fri, 20 Apr 2018 22:22:46 +0200 | wenzelm | merged | changeset | files |
Fri, 20 Apr 2018 22:17:42 +0200 | wenzelm | support for XZ.Cache; | changeset | files |
Fri, 20 Apr 2018 19:11:17 +0100 | paulson | three new theorems | changeset | files |
Fri, 20 Apr 2018 15:58:02 +0200 | wenzelm | merged | changeset | files |
Fri, 20 Apr 2018 15:40:21 +0200 | wenzelm | updated to postgresql-42.2.2, with more smooth support for Java 9/10; | changeset | files |
Fri, 20 Apr 2018 11:44:09 +0200 | wenzelm | minimal Java source version for jdk-10.0.1; | changeset | files |