| Wed, 24 May 2017 11:39:00 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 09 May 2017 21:06:11 +0200 | wenzelm | more robust update of generated directory; | file | diff | annotate |
| Thu, 04 May 2017 14:58:19 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 02 Mar 2017 17:08:18 +0100 | wenzelm | more robust: tmp files might get deleted concurrently in ML vs. Scala process; | file | diff | annotate |
| Thu, 02 Mar 2017 15:56:43 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Jan 2017 16:15:08 +0100 | wenzelm | insist in proper GNU tar, to avoid subtle semantic differences; | file | diff | annotate |
| Thu, 22 Dec 2016 11:38:16 +0100 | wenzelm | clarified modules; | file | diff | annotate |