src/Tools/jEdit/plugin/services.xml

--- a/src/Tools/jEdit/plugin/services.xml	Sat Nov 29 19:31:09 2008 +0100
+++ b/src/Tools/jEdit/plugin/services.xml	Sun Nov 30 19:18:59 2008 +0100
@@ -1,6 +1,9 @@
 <?xml version="1.0"?>
 <!DOCTYPE SERVICES SYSTEM "services.dtd">
 <SERVICES>
+	<SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle">
+		new isabelle.prover.IsabelleSKParser();
+	</SERVICE>
 	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
 		new isabelle.jedit.VFS();
 	</SERVICE>