| Tue, 14 May 2013 15:40:18 +0200 | wenzelm | more frugal line termination, to cope with huge log files (see also 016cb7d8f297); | file | diff | annotate |
| Tue, 14 May 2013 13:46:33 +0200 | wenzelm | more scalable Library.separate -- NB: JVM has tiny fixed-size stack; | file | diff | annotate |
| Thu, 04 Apr 2013 17:58:47 +0200 | wenzelm | tuned signature -- concentrate GUI tools; | file | diff | annotate |