src/Tools/jEdit/src/proofdocument/ProofDocument.scala

--- a/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Thu Dec 18 01:10:20 2008 +0100
+++ b/src/Tools/jEdit/src/proofdocument/ProofDocument.scala	Fri Dec 19 22:24:32 2008 +0100
@@ -1,3 +1,9 @@
+/*
+ * Document -- list of tokens
+ *
+ * @author Johannes Hölzl, TU Munich
+ */
+
 package isabelle.proofdocument
 
 import java.util.regex.Pattern