| Sat, 12 Jan 2013 21:12:00 +0100 | wenzelm | forced scroll to bottom, for improved cross-platform appearance; | 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 18:13:28 +0100 | wenzelm | tuned build_dialog: auto_close checkbox avoids user sitting and waiting; | file | diff | annotate |
| Sat, 12 Jan 2013 16:43:38 +0100 | wenzelm | more uniform theory progress in build -v and build_dialog; | file | diff | annotate |
| Sat, 12 Jan 2013 15:00:48 +0100 | wenzelm | immediate theory progress for build_dialog; | file | diff | annotate |
| Sat, 05 Jan 2013 19:05:16 +0100 | wenzelm | premature window close means failure; | file | diff | annotate |
| Sat, 05 Jan 2013 18:36:02 +0100 | wenzelm | proper return code on window close; | file | diff | annotate |
| Wed, 02 Jan 2013 17:58:53 +0100 | wenzelm | moved files; | file | diff | annotate | base |