src/Pure/Thy/thy_info.scala
changeset 66743 ff05d922bc34
parent 66719 d37efafd55b5
child 66775 e8f27a35ee0f
     1.1 --- a/src/Pure/Thy/thy_info.scala	Sun Oct 01 16:56:47 2017 +0200
     1.2 +++ b/src/Pure/Thy/thy_info.scala	Sun Oct 01 17:59:26 2017 +0200
     1.3 @@ -66,6 +66,17 @@
     1.4            names.map(name => resources.loaded_files(loaded_theories.get_node(name.theory), name)))
     1.5      }
     1.6  
     1.7 +    def imported_files: List[Path] =
     1.8 +    {
     1.9 +      val base = resources.session_base
    1.10 +      val base_theories =
    1.11 +        loaded_theories.all_preds(names.map(_.theory)).
    1.12 +          filter(base.loaded_theories.defined(_))
    1.13 +
    1.14 +      base_theories.map(theory => base.known.theories(theory).path) :::
    1.15 +      base_theories.flatMap(base.known.loaded_files(_))
    1.16 +    }
    1.17 +
    1.18      lazy val overall_syntax: Outer_Syntax =
    1.19        Outer_Syntax.merge(loaded_theories.maximals.map(loaded_theories.get_node(_)))
    1.20