| 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 |