| Tue, 15 Jul 2008 15:59:49 +0200 | wenzelm | tuned changelogentry; | changeset | files |
| Tue, 15 Jul 2008 15:46:43 +0200 | wenzelm | refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode); | changeset | files |
| Tue, 15 Jul 2008 15:46:41 +0200 | wenzelm | support for command status; | changeset | files |