# HG changeset patch
# User wenzelm
# Date 1326553929 -3600
# Node ID 2616e68877c9516d18f512d2618d9026de8e9c8b
# Parent  553ec602d337d4e8ed82965fd4d7c2f00c909eac
tuned comment;

diff -r 553ec602d337 -r 2616e68877c9 src/Tools/jEdit/src/isabelle_hyperlinks.scala
--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Jan 14 15:44:44 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Sat Jan 14 16:12:09 2012 +0100
@@ -61,7 +61,7 @@
               Text.Range(buffer_offset, buffer_offset + 1),
               Some(Set(Isabelle_Markup.ENTITY)),
               {
-                // FIXME Protocol.Hyperlink extractor
+                // FIXME Isabelle_Rendering.hyperlink
                 case Text.Info(info_range,
                     XML.Elem(Markup(Isabelle_Markup.ENTITY, props), _))
                   if (props.find(