changeset 29606 | fedb8be05f24 |
parent 27605 | 2c281958e45d |
child 30187 | b92b3375e919 |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/General/output.ML |
1 (* Title: Pure/General/output.ML |
2 ID: $Id$ |
|
3 Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
2 Author: Makarius, Hagia Maria Sion Abbey (Jerusalem) |
4 |
3 |
5 Output channels and timing messages. |
4 Output channels and timing messages. |
6 *) |
5 *) |
7 |
6 |