1 /* Title: Pure/General/output.scala
2 Module: PIDE
3 Author: Makarius
2 Author: Makarius
4
3
5 Isabelle output channels.
4 Isabelle output channels.
6 */
5 */
7
6