1.1 --- a/lib/jedit/plugin/services.xml	Sun Aug 24 17:23:42 2008 +0200
     1.2 +++ b/lib/jedit/plugin/services.xml	Sun Aug 24 18:11:20 2008 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  
     1.5  <SERVICES>
     1.6    <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle">
     1.7 -    new isabelle.IsabelleParser();
     1.8 +    new isabelle.jedit.IsabelleParser();
     1.9    </SERVICE>
    1.10  </SERVICES>
    1.11