# 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