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

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