src/Tools/jEdit/src/services.xml
changeset 63610 4b40b8196dc7
parent 63606 fc3a23763617
child 66120 e03ff7e831cc
     1.1 --- a/src/Tools/jEdit/src/services.xml	Thu Aug 04 21:30:20 2016 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Fri Aug 05 16:30:53 2016 +0200
     1.3 @@ -23,6 +23,12 @@
     1.4    <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
     1.5      new isabelle.jedit.Isabelle_Sidekick_Markup();
     1.6    </SERVICE>
     1.7 +  <SERVICE NAME="isabelle-ml" CLASS="sidekick.SideKickParser">
     1.8 +    new isabelle.jedit.Isabelle_Sidekick_ML();
     1.9 +  </SERVICE>
    1.10 +  <SERVICE NAME="isabelle-sml" CLASS="sidekick.SideKickParser">
    1.11 +    new isabelle.jedit.Isabelle_Sidekick_SML();
    1.12 +  </SERVICE>
    1.13    <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
    1.14      new isabelle.jedit.Isabelle_Sidekick_News();
    1.15    </SERVICE>