src/Tools/jEdit/src/services.xml
changeset 58546 72e2b2a609c4
parent 58526 f05ccce3eca2
child 58694 983e98da2a42
     1.1 --- a/src/Tools/jEdit/src/services.xml	Sun Oct 05 17:58:36 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/services.xml	Sun Oct 05 18:14:26 2014 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4      new isabelle.jedit.Isabelle_Sidekick_Root();
     1.5    </SERVICE>
     1.6    <SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
     1.7 -    new isabelle.jedit.Isabelle_Sidekick_Bibtex();
     1.8 +    new isabelle.jedit.Bibtex_JEdit.Sidekick_Parser();
     1.9    </SERVICE>
    1.10    <SERVICE CLASS="console.Shell" NAME="Scala">
    1.11      new isabelle.jedit.Scala_Console();