2012-12-15 | wenzelm | clarified build_dialog command line; | file | diff | annotate |
2012-12-06 | wenzelm | clarified build_dialog: regular up-to-date check (extra cost of approx. 5s startup for HOL); | file | diff | annotate |
2012-12-06 | wenzelm | avoid startup within GUI thread -- it is only required later for dialog; | file | diff | annotate |
2012-12-06 | wenzelm | more uniform default logic, using settings, options, args etc.; | file | diff | annotate |
2012-12-05 | wenzelm | check for existing image (even if outdated); | file | diff | annotate |
2012-12-05 | wenzelm | more elementary dialog, with less interaction; | file | diff | annotate |
2012-12-05 | wenzelm | basic wrapper for session build dialog; | file | diff | annotate |