lib/jedit/plugin/services.xml

updated for Isabelle2009;

<?xml version="1.0"?>
<!DOCTYPE SERVICES SYSTEM "services.dtd">
<!-- $Id$ -->

<SERVICES>
  <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle">
    new isabelle.jedit.IsabelleParser();
  </SERVICE>
</SERVICES>