Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
isabelle