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