| Fri, 19 May 2017 18:10:19 +0200 | wenzelm | suppress ANSI control sequences in Scala console; | changeset | files |
| Fri, 19 May 2017 16:43:11 +0200 | wenzelm | updated to scala-2.12.2; | changeset | files |
| Fri, 19 May 2017 16:14:24 +0200 | wenzelm | updated to jdk-8u131; | changeset | files |
| Fri, 19 May 2017 16:05:33 +0200 | wenzelm | updated to xz-java-1.6; | changeset | files |
| Fri, 19 May 2017 13:34:18 +0200 | wenzelm | separate keep auxiliary directory, to facilitate error diagnosis; | changeset | files |
| Thu, 18 May 2017 15:43:14 +0200 | eberlm | Merged | changeset | files |
| Thu, 18 May 2017 12:02:21 +0200 | eberlm | more on sublists | changeset | files |
| Thu, 18 May 2017 14:41:40 +0200 | wenzelm | tuned; | changeset | files |