1 <?xml version="1.0"?>
2 <!DOCTYPE SERVICES SYSTEM "services.dtd">
3 <!-- $Id$ -->
4
5 <SERVICES>
6 <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle">
7 new isabelle.jedit.IsabelleParser();
8 </SERVICE>
9 </SERVICES>
10