src/Pure/Thy/sessions.scala
changeset 66195 bb886f13623a
parent 65999 ee4cf96a9406
child 66234 836898197296
     1.1 --- a/src/Pure/Thy/sessions.scala	Mon Jun 26 11:07:48 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Mon Jun 26 15:57:20 2017 +0200
     1.3 @@ -81,8 +81,11 @@
     1.4          theories_local = for ((a, b) <- theories_local) yield (a, b.map(File.platform_path(_))),
     1.5          files = for ((a, b) <- files) yield (a, b.map(c => c.map(File.platform_path(_)))))
     1.6  
     1.7 -    def get_file(file: JFile): Option[Document.Node.Name] =
     1.8 -      files.getOrElse(file.getCanonicalFile, Nil).headOption
     1.9 +    def get_file(file: JFile, bootstrap: Boolean = false): Option[Document.Node.Name] =
    1.10 +    {
    1.11 +      val res = files.getOrElse(file.getCanonicalFile, Nil).headOption
    1.12 +      if (bootstrap) res.map(_.map_theory(Thy_Header.bootstrap_name(_))) else res
    1.13 +    }
    1.14    }
    1.15  
    1.16    object Base