equal
deleted
inserted
replaced
88 session = sessions_structure.theory_qualifier(name) |
88 session = sessions_structure.theory_qualifier(name) |
89 if session.nonEmpty |
89 if session.nonEmpty |
90 } yield session).toList |
90 } yield session).toList |
91 |
91 |
92 |
92 |
93 /* build adhoc session */ |
93 /* build session */ |
|
94 |
|
95 Build.build_logic(options, logic, dirs = dirs, progress = progress, |
|
96 build_heap = true, strict = true) |
94 |
97 |
95 val session_entry = |
98 val session_entry = |
96 Sessions.Session_Entry( |
99 Sessions.Session_Entry( |
97 parent = Some(logic), |
100 parent = Some(logic), |
98 theories = session_theories.map(a => (Nil, List(((a, Position.none), false)))), |
101 theories = session_theories.map(a => (Nil, List(((a, Position.none), false)))), |