src/Tools/jEdit/src/services.xml
changeset 63606 fc3a23763617
parent 58694 983e98da2a42
child 63610 4b40b8196dc7
     1.1 --- a/src/Tools/jEdit/src/services.xml	Thu Aug 04 11:32:21 2016 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Thu Aug 04 20:55:36 2016 +0200
     1.3 @@ -17,6 +17,9 @@
     1.4    <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
     1.5      new isabelle.jedit.Isabelle_Sidekick_Default();
     1.6    </SERVICE>
     1.7 +  <SERVICE NAME="isabelle-context" CLASS="sidekick.SideKickParser">
     1.8 +    new isabelle.jedit.Isabelle_Sidekick_Context();
     1.9 +  </SERVICE>
    1.10    <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
    1.11      new isabelle.jedit.Isabelle_Sidekick_Markup();
    1.12    </SERVICE>