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