| Fri, 09 Oct 2015 17:15:53 +0200 | wenzelm | tuned output; | file | diff | annotate |
| Fri, 09 Oct 2015 16:09:16 +0200 | wenzelm | more Present operations on Scala side; | file | diff | annotate |
| Tue, 29 Sep 2015 13:54:04 +0200 | wenzelm | clarified modules; | file | diff | annotate |