# HG changeset patch
# User wenzelm
# Date 1404220745 -7200
# Node ID 77d13a98f1c8861b93c1a43d4665fd51fe0cfb3c
# Parent  ecad2a53755a8e0e374ee00c5bb48a2e328e9aac
clarified quasi-generic PIDE;

diff -r ecad2a53755a -r 77d13a98f1c8 src/Pure/General/output.scala
--- a/src/Pure/General/output.scala	Tue Jul 01 14:52:08 2014 +0200
+++ b/src/Pure/General/output.scala	Tue Jul 01 15:19:05 2014 +0200
@@ -1,4 +1,5 @@
-/*  Title:      Pure/General/output.ML
+/*  Title:      Pure/General/output.scala
+    Module:     PIDE
     Author:     Makarius
 
 Isabelle channels for diagnostic output.