| Tue, 15 Jul 2008 16:50:09 +0200 | ballarin | Removed uses of context element includes. | changeset | files |
| Tue, 15 Jul 2008 16:02:10 +0200 | haftmann | tuned | changeset | files |
| Tue, 15 Jul 2008 16:02:07 +0200 | haftmann | tuned code theorem bookkeeping | changeset | files |
| 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 |
| Tue, 15 Jul 2008 14:15:49 +0200 | wenzelm | added status channel; | changeset | files |