| changeset 62930 | 51ac6bc389e8 |
| parent 62553 | d2e0d626fb96 |
| child 62938 | 79f41fbdf74a |
| 62929:b92565f98206 | 62930:51ac6bc389e8 |
|---|---|
1 /* Title: Pure/General/output.scala |
1 /* Title: Pure/General/output.scala |
2 Module: PIDE |
2 Module: PIDE |
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Isabelle channels for diagnostic output. |
5 Isabelle output channels. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
9 |
10 |
10 |