| 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 |
| Wed, 05 Dec 2012 14:45:44 +0100 | wenzelm | more formal progress context; | changeset | files |
| Wed, 05 Dec 2012 14:19:44 +0100 | wenzelm | basic wrapper for session build dialog; | changeset | files |
| Wed, 05 Dec 2012 14:13:47 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 05 Dec 2012 12:22:55 +0100 | wenzelm | tuned signature in accordance to document operations; | changeset | files |
| Wed, 05 Dec 2012 11:34:04 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 05 Dec 2012 11:05:34 +0100 | nipkow | merged | changeset | files |