added hyperlink plugin

--- a/src/Tools/jEdit/nbproject/project.properties	Fri May 22 13:43:35 2009 +0200
+++ b/src/Tools/jEdit/nbproject/project.properties	Fri May 22 13:43:35 2009 +0200
@@ -34,7 +34,8 @@
     ${reference.jEdit.build}:\
     ${libs.Isabelle-Pure.classpath}:\
     ${libs.Sidekick.classpath}:\
-    ${libs.ErrorList.classpath}
+    ${libs.ErrorList.classpath}:\
+    ${libs.Hyperlink.classpath}
 # Space-separated list of extra javac options
 javac.compilerargs=
 javac.deprecation=false

--- a/src/Tools/jEdit/plugin/Isabelle.props	Fri May 22 13:43:35 2009 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Fri May 22 13:43:35 2009 +0200
@@ -23,6 +23,7 @@
 plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
 plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
 plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
+plugin.isabelle.jedit.Plugin.depend.4=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
 
 #options
 plugin.isabelle.jedit.Plugin.option-pane=isabelle