Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Sat, 14 Jan 2012 16:12:09 +0100
changeset 46211 2616e68877c9
parent 46210 553ec602d337
child 46212 d86ef6b96097
tuned comment;
src/Tools/jEdit/src/isabelle_hyperlinks.scala file | annotate | diff | comparison | revisions 
--- 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(
isabelle