| Sat, 15 Dec 2012 13:14:55 +0100 | wenzelm | clarified build_dialog command line; | file | diff | annotate |
| Thu, 06 Dec 2012 21:16:46 +0100 | wenzelm | clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL); | file | diff | annotate |
| Thu, 06 Dec 2012 20:26:14 +0100 | wenzelm | avoid startup within GUI thread -- it is only required later for dialog; | file | diff | annotate |
| Thu, 06 Dec 2012 17:59:37 +0100 | wenzelm | more uniform default logic, using settings, options, args etc.; | file | diff | annotate |
| Wed, 05 Dec 2012 17:38:43 +0100 | wenzelm | check for existing image (even if outdated); | file | diff | annotate |
| Wed, 05 Dec 2012 17:05:25 +0100 | wenzelm | more elementary dialog, with less interaction; | file | diff | annotate |
| Wed, 05 Dec 2012 14:19:44 +0100 | wenzelm | basic wrapper for session build dialog; | file | diff | annotate |