diff -r 7daef43592d0 -r 479c07072992 src/Tools/jEdit/src/isabelle_hyperlinks.scala
--- a/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Tue Aug 30 15:49:27 2011 +0200
+++ b/src/Tools/jEdit/src/isabelle_hyperlinks.scala	Tue Aug 30 16:04:26 2011 +0200
@@ -73,7 +73,7 @@
                   case _ if !snapshot.is_outdated =>
                     (props, props) match {
                       case (Position.Id(def_id), Position.Offset(def_offset)) =>
-                        snapshot.find_command(def_id) match {
+                        snapshot.state.find_command(snapshot.version, def_id) match {
                           case Some((def_name, def_node, def_cmd)) =>
                             def_node.command_start(def_cmd) match {
                               case Some(def_cmd_start) =>