src/Tools/jEdit/src/proofdocument/Text.scala

--- a/src/Tools/jEdit/src/proofdocument/Text.scala	Thu Dec 18 01:10:20 2008 +0100
+++ b/src/Tools/jEdit/src/proofdocument/Text.scala	Fri Dec 19 22:24:32 2008 +0100
@@ -1,3 +1,9 @@
+/*
+ * Text as event source
+ *
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.proofdocument
 
 import isabelle.utils.EventSource