src/Pure/Thy/sessions.scala
changeset 65500 a6644e0e8728
parent 65499 fc7f03cbccbc
child 65507 decdb95bd007
equal deleted inserted replaced
65499:fc7f03cbccbc 65500:a6644e0e8728
   110 
   110 
   111     def known_theory(name: String): Option[Document.Node.Name] =
   111     def known_theory(name: String): Option[Document.Node.Name] =
   112       known.theories.get(name)
   112       known.theories.get(name)
   113 
   113 
   114     def known_file(file: JFile): Option[Document.Node.Name] =
   114     def known_file(file: JFile): Option[Document.Node.Name] =
   115       known.files.getOrElse(file, Nil).headOption
   115       known.files.getOrElse(file.getCanonicalFile, Nil).headOption
   116 
   116 
   117     def dest_known_theories: List[(String, String)] =
   117     def dest_known_theories: List[(String, String)] =
   118       for ((theory, node_name) <- known.theories.toList)
   118       for ((theory, node_name) <- known.theories.toList)
   119         yield (theory, node_name.node)
   119         yield (theory, node_name.node)
   120   }
   120   }