# HG changeset patch
# User wenzelm
# Date 1393493927 -3600
# Node ID e1fd8780f997d91c2d1d7244ce46febfe8cd086f
# Parent  90484dff4dc40b5f804ae7372ed054b4d674da84
tuned comment;

diff -r 90484dff4dc4 -r e1fd8780f997 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