more dependencies;
authorwenzelm
Sat Jul 06 21:50:14 2013 +0200 (2013-07-06)
changeset 52540c1ddd91ba515
parent 52539 7658f8d7b2dc
child 52541 97c950217d7f
more dependencies;
src/Tools/jEdit/lib/Tools/jedit
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sat Jul 06 21:19:38 2013 +0200
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sat Jul 06 21:50:14 2013 +0200
     1.3 @@ -53,6 +53,10 @@
     1.4    "src/Isabelle.props"
     1.5    "src/jEdit.props"
     1.6    "src/services.xml"
     1.7 +  "src/modes/isabelle-news.xml"
     1.8 +  "src/modes/isabelle-options.xml"
     1.9 +  "src/modes/isabelle-root.xml"
    1.10 +  "src/modes/isabelle.xml"
    1.11  )
    1.12  
    1.13