diff -r fc7f03cbccbc -r a6644e0e8728 src/Pure/Thy/sessions.scala --- a/src/Pure/Thy/sessions.scala Mon Apr 17 21:00:38 2017 +0200 +++ b/src/Pure/Thy/sessions.scala Mon Apr 17 21:26:23 2017 +0200 @@ -112,7 +112,7 @@ known.theories.get(name) def known_file(file: JFile): Option[Document.Node.Name] = - known.files.getOrElse(file, Nil).headOption + known.files.getOrElse(file.getCanonicalFile, Nil).headOption def dest_known_theories: List[(String, String)] = for ((theory, node_name) <- known.theories.toList)