src/Pure/Thy/sessions.scala
changeset 65560 327842649e8d
parent 65540 2b73ed8bf4d9
child 65561 741b1d3930c0
equal deleted inserted replaced
65559:7ff7781913a4 65560:327842649e8d
   272     val full_sessions = load(options, dirs = dirs)
   272     val full_sessions = load(options, dirs = dirs)
   273     val global_theories = full_sessions.global_theories
   273     val global_theories = full_sessions.global_theories
   274     val selected_sessions = full_sessions.selection(Selection(sessions = List(session)))._2
   274     val selected_sessions = full_sessions.selection(Selection(sessions = List(session)))._2
   275 
   275 
   276     if (all_known) {
   276     if (all_known) {
   277       val deps = Sessions.deps(
   277       val deps = Sessions.deps(full_sessions, global_theories = global_theories, all_known = true)
   278         full_sessions, global_theories = global_theories, all_known = all_known)
       
   279       deps(session).copy(known = deps.all_known)
   278       deps(session).copy(known = deps.all_known)
   280     }
   279     }
   281     else
   280     else
   282       deps(selected_sessions, global_theories = global_theories)(session)
   281       deps(selected_sessions, global_theories = global_theories)(session)
   283   }
   282   }