equal
deleted
inserted
replaced
165 } yield upd |
165 } yield upd |
166 |
166 |
167 val updates_theories = |
167 val updates_theories = |
168 for { |
168 for { |
169 (_, name) <- session_base.known.theories_local.toList |
169 (_, name) <- session_base.known.theories_local.toList |
|
170 if session_resources.theory_qualifier(name) == info.theory_qualifier |
170 (_, pos) <- session_resources.check_thy(name, Token.Pos.file(name.node)).imports |
171 (_, pos) <- session_resources.check_thy(name, Token.Pos.file(name.node)).imports |
171 upd <- update_name(session_base.syntax.keywords, pos, |
172 upd <- update_name(session_base.syntax.keywords, pos, |
172 standard_import(session_resources.theory_qualifier(name), name.master_dir, _)) |
173 standard_import(session_resources.theory_qualifier(name), name.master_dir, _)) |
173 } yield upd |
174 } yield upd |
174 |
175 |