<?xml version="1.0"?> <!DOCTYPE SERVICES SYSTEM "services.dtd"> <SERVICES> <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> new isabelle.jedit.IsabelleSideKickParser(); </SERVICE> <SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS"> new isabelle.jedit.VFS(); </SERVICE> </SERVICES>