# HG changeset patch
# User immler@in.tum.de
# Date 1242992615 -7200
# Node ID 0c1c8f8ee384607975e303e961da9040a00cef11
# Parent  cdf914c78ff2aa6d37543f650fba6c30fb36b5b8
added hyperlink plugin

diff -r cdf914c78ff2 -r 0c1c8f8ee384 src/Tools/jEdit/nbproject/project.properties
--- 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
diff -r cdf914c78ff2 -r 0c1c8f8ee384 src/Tools/jEdit/plugin/Isabelle.props
--- 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