| Tue, 24 Apr 2018 11:03:51 +0200 | wenzelm | clarified modules; | changeset | files |
| Mon, 23 Apr 2018 21:57:15 +0100 | paulson | tidied some horrid proofs | changeset | files |
| Mon, 23 Apr 2018 08:09:50 +0200 | nipkow | del_max -> split_max | changeset | files |
| Sun, 22 Apr 2018 21:05:14 +0100 | paulson | Tidied a lot of messy proofs | changeset | files |
| Sat, 21 Apr 2018 11:13:35 +0200 | nipkow | dont rename PQ.del_min | changeset | files |
| 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 |
| Fri, 20 Apr 2018 11:41:09 +0200 | wenzelm | workaround for jdk-10.0.1; | changeset | files |
| Fri, 20 Apr 2018 11:34:12 +0200 | wenzelm | more robust, notably for jdk-10.0.1 where jre is absent; | changeset | files |
| Fri, 20 Apr 2018 07:36:59 +0000 | haftmann | moved lemma to more appropriate place | changeset | files |