src/Tools/jEdit/src/document_model.scala

--- a/src/Tools/jEdit/src/document_model.scala	Wed Feb 26 20:56:55 2014 +0100
+++ b/src/Tools/jEdit/src/document_model.scala	Thu Feb 27 10:38:47 2014 +0100
@@ -2,7 +2,8 @@
     Author:     Fabian Immler, TU Munich
     Author:     Makarius
 
-Document model connected to jEdit buffer -- single node in theory graph.
+Document model connected to jEdit buffer (node in theory graph or
+auxiliary file).
 */
 
 package isabelle.jedit