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 |
Sat, 12 Jan 2013 20:13:34 +0100 | wenzelm | tuned font size, notably for current HD displays; | file | diff | annotate |
Sat, 12 Jan 2013 17:28:07 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 12 Jan 2013 15:00:48 +0100 | wenzelm | immediate theory progress for build_dialog; | file | diff | annotate |
Fri, 14 Dec 2012 21:50:21 +0100 | wenzelm | tuned error dialog; | file | diff | annotate |