| Mon, 23 Oct 2017 20:56:59 +0200 | wenzelm | discontinued Linux 32bit platform support; | changeset | files |
| Mon, 23 Oct 2017 20:43:04 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 23 Oct 2017 20:21:36 +0200 | wenzelm | merged | changeset | files |
| Mon, 23 Oct 2017 19:30:39 +0200 | wenzelm | updated to jdk-8u152, which is for x86_64 only; | changeset | files |
| Mon, 23 Oct 2017 14:45:10 +0200 | nipkow | added lemma | changeset | files |
| Mon, 23 Oct 2017 14:12:09 +0200 | wenzelm | minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; | changeset | files |
| Sun, 22 Oct 2017 22:22:19 +0200 | wenzelm | tuned output; | changeset | files |