src/Tools/jEdit/plugin/services.xml

--- a/src/Tools/jEdit/plugin/services.xml	Fri May 22 13:43:35 2009 +0200
+++ b/src/Tools/jEdit/plugin/services.xml	Fri May 22 14:47:57 2009 +0200
@@ -7,4 +7,7 @@
 	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
 		new isabelle.jedit.VFS();
 	</SERVICE>
+  <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
+    new isabelle.jedit.IsabelleHyperlinkSource();
+  </SERVICE>
 </SERVICES>