src/Pure/Thy/sessions.scala
changeset 65528 d15d302da7f0
parent 65525 360063716c71
child 65532 febfd9f78bd4
     1.1 --- a/src/Pure/Thy/sessions.scala	Thu Apr 20 17:50:31 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Apr 21 10:59:07 2017 +0200
     1.3 @@ -164,7 +164,7 @@
     1.4                val root_theories =
     1.5                  info.theories.flatMap({ case (_, thys) =>
     1.6                    thys.map({ case (thy, pos) =>
     1.7 -                    (resources.import_name(info.name, info.dir.implode, thy), pos) })
     1.8 +                    (resources.import_name(info.theory_qualifier, info.dir.implode, thy), pos) })
     1.9                  })
    1.10                val thy_deps = resources.thy_info.dependencies(root_theories)
    1.11  
    1.12 @@ -210,10 +210,10 @@
    1.13  
    1.14                def node(name: Document.Node.Name): Graph_Display.Node =
    1.15                {
    1.16 -                val session = resources.theory_qualifier(name)
    1.17 -                if (session == info.name)
    1.18 +                val qualifier = resources.theory_qualifier(name)
    1.19 +                if (qualifier == info.theory_qualifier)
    1.20                    Graph_Display.Node(name.theory_base_name, "theory." + name.theory)
    1.21 -                else session_node(session)
    1.22 +                else session_node(qualifier)
    1.23                }
    1.24  
    1.25                val imports_subgraph =