| Wed, 05 Dec 2012 18:09:38 +0100 | wenzelm | implicit build_dialog for Isabelle/jEdit; | changeset | files |
| Wed, 05 Dec 2012 18:07:32 +0100 | wenzelm | tuned message; | changeset | files |
| Wed, 05 Dec 2012 17:48:58 +0100 | wenzelm | tuned OK feedback; | changeset | files |
| Wed, 05 Dec 2012 17:38:43 +0100 | wenzelm | check for existing image (even if outdated); | changeset | files |
| Wed, 05 Dec 2012 17:05:25 +0100 | wenzelm | more elementary dialog, with less interaction; | changeset | files |
| Wed, 05 Dec 2012 16:33:02 +0100 | wenzelm | basic interaction with build process; | changeset | files |
| Wed, 05 Dec 2012 16:31:58 +0100 | wenzelm | allow to terminate jobs via Progress; | changeset | files |