update strictly local imports only;
authorwenzelm
Wed Jun 07 20:06:50 2017 +0200 (23 months ago)
changeset 66030f551ab947569
parent 66029 063f13f10433
child 66031 94cfcae2b228
update strictly local imports only;
src/Pure/Tools/imports.scala
     1.1 --- a/src/Pure/Tools/imports.scala	Wed Jun 07 19:41:05 2017 +0200
     1.2 +++ b/src/Pure/Tools/imports.scala	Wed Jun 07 20:06:50 2017 +0200
     1.3 @@ -167,6 +167,7 @@
     1.4            val updates_theories =
     1.5              for {
     1.6                (_, name) <- session_base.known.theories_local.toList
     1.7 +              if session_resources.theory_qualifier(name) == info.theory_qualifier
     1.8                (_, pos) <- session_resources.check_thy(name, Token.Pos.file(name.node)).imports
     1.9                upd <- update_name(session_base.syntax.keywords, pos,
    1.10                  standard_import(session_resources.theory_qualifier(name), name.master_dir, _))