| 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 |