| Sun, 22 Sep 2013 18:42:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 22 Sep 2013 18:36:22 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 22 Sep 2013 14:30:34 +0200 | wenzelm | clarified location of GUI modules (which depend on Swing of JFX); | file | diff | annotate | base |