src/Tools/jEdit/src/jedit/OutputDockable.scala

--- a/src/Tools/jEdit/src/jedit/OutputDockable.scala	Fri Dec 19 22:24:32 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OutputDockable.scala	Fri Dec 19 23:11:08 2008 +0100
@@ -1,3 +1,10 @@
+/*
+ * Dockable window for raw process output
+ *
+ * @author Fabian Immler, TU Munich
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.jedit
 
 import java.awt.GridLayout