src/Tools/jEdit/lib/Tools/jedit
changeset 52540 c1ddd91ba515
parent 52539 7658f8d7b2dc
child 52846 82ac963c68cb
equal deleted inserted replaced
52539:7658f8d7b2dc 52540:c1ddd91ba515
    51   "src/actions.xml"
    51   "src/actions.xml"
    52   "src/dockables.xml"
    52   "src/dockables.xml"
    53   "src/Isabelle.props"
    53   "src/Isabelle.props"
    54   "src/jEdit.props"
    54   "src/jEdit.props"
    55   "src/services.xml"
    55   "src/services.xml"
       
    56   "src/modes/isabelle-news.xml"
       
    57   "src/modes/isabelle-options.xml"
       
    58   "src/modes/isabelle-root.xml"
       
    59   "src/modes/isabelle.xml"
    56 )
    60 )
    57 
    61 
    58 
    62 
    59 ## diagnostics
    63 ## diagnostics
    60 
    64