src/Pure/PIDE/resources.scala
changeset 65467 9535c670b1b4
parent 65457 2bf0d2fcd506
child 65471 05e5bffcf1d8
equal deleted inserted replaced
65464:f3cd78ba687c 65467:9535c670b1b4
    74   {
    74   {
    75     val theory0 = Thy_Header.import_name(s)
    75     val theory0 = Thy_Header.import_name(s)
    76     val theory =
    76     val theory =
    77       if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
    77       if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
    78         || true /* FIXME */) theory0
    78         || true /* FIXME */) theory0
    79       else theory0 // FIXME Long_Name.qualify(qualifier, theory0)
    79       else Long_Name.qualify(qualifier, theory0)
    80 
    80 
    81     session_base.loaded_theories.get(theory) orElse
    81     session_base.loaded_theories.get(theory) orElse
    82     session_base.loaded_theories.get(theory0) orElse
    82     session_base.loaded_theories.get(theory0) orElse
    83     session_base.known_theories.get(theory) orElse
    83     session_base.known_theories.get(theory) orElse
    84     session_base.known_theories.get(theory0) getOrElse {
    84     session_base.known_theories.get(theory0) getOrElse {