src/Pure/General/output.ML
changeset 56830 e760242101fc
parent 56334 6b3739fee456
child 57975 c657c68a60ab
     1.1 --- a/src/Pure/General/output.ML	Fri May 02 19:30:34 2014 +0200
     1.2 +++ b/src/Pure/General/output.ML	Fri May 02 19:51:40 2014 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (*  Title:      Pure/General/output.ML
     1.5      Author:     Makarius, Hagia Maria Sion Abbey (Jerusalem)
     1.6  
     1.7 -Isabelle output channels.
     1.8 +Isabelle channels for diagnostic output.
     1.9  *)
    1.10  
    1.11  signature BASIC_OUTPUT =