--- a/src/Pure/General/output.scala Sat Apr 09 14:52:10 2016 +0200
+++ b/src/Pure/General/output.scala Sat Apr 09 16:16:05 2016 +0200
@@ -2,7 +2,7 @@
Module: PIDE
Author: Makarius
-Isabelle channels for diagnostic output.
+Isabelle output channels.
*/
package isabelle