| 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 |
| Fri, 20 Apr 2018 07:36:58 +0000 | haftmann | algebraic embeddings for bit operations | changeset | files |
| Thu, 19 Apr 2018 21:54:46 +0200 | wenzelm | updated to jdk-8u172; | changeset | files |
| Thu, 19 Apr 2018 21:26:44 +0200 | wenzelm | merged | changeset | files |
| Thu, 19 Apr 2018 21:14:52 +0200 | wenzelm | updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity; | changeset | files |