src/Tools/jEdit/plugin/services.xml
changeset 34760 dc7f5e0d9d27
parent 34738 80408ffc84a8
child 34841 2ada58650469
     1.1 --- a/src/Tools/jEdit/plugin/services.xml	Tue Dec 08 14:49:01 2009 +0100
     1.2 +++ b/src/Tools/jEdit/plugin/services.xml	Tue Dec 08 16:30:20 2009 +0100
     1.3 @@ -1,13 +1,14 @@
     1.4  <?xml version="1.0"?>
     1.5  <!DOCTYPE SERVICES SYSTEM "services.dtd">
     1.6 +
     1.7  <SERVICES>
     1.8  	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
     1.9  		new isabelle.jedit.Isabelle_Encoding();
    1.10  	</SERVICE>
    1.11  	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
    1.12 -		new isabelle.jedit.IsabelleSideKickParser();
    1.13 +		new isabelle.jedit.Isabelle_Sidekick();
    1.14  	</SERVICE>
    1.15    <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
    1.16 -    new isabelle.jedit.IsabelleHyperlinkSource();
    1.17 +    new isabelle.jedit.Isabelle_Hyperlinks();
    1.18    </SERVICE>
    1.19  </SERVICES>