src/Tools/jEdit/src/document_model.scala
changeset 55778 e1fd8780f997
parent 55435 662e0fd39823
child 55781 b3a4207fb9a6
equal deleted inserted replaced
55777:90484dff4dc4 55778:e1fd8780f997
     1 /*  Title:      Tools/jEdit/src/document_model.scala
     1 /*  Title:      Tools/jEdit/src/document_model.scala
     2     Author:     Fabian Immler, TU Munich
     2     Author:     Fabian Immler, TU Munich
     3     Author:     Makarius
     3     Author:     Makarius
     4 
     4 
     5 Document model connected to jEdit buffer -- single node in theory graph.
     5 Document model connected to jEdit buffer (node in theory graph or
       
     6 auxiliary file).
     6 */
     7 */
     7 
     8 
     8 package isabelle.jedit
     9 package isabelle.jedit
     9 
    10 
    10 
    11