equal
deleted
inserted
replaced
80 lazy val syntax: Outer_Syntax = |
80 lazy val syntax: Outer_Syntax = |
81 resources.session_base.syntax.add_keywords(keywords).add_abbrevs(abbrevs) |
81 resources.session_base.syntax.add_keywords(keywords).add_abbrevs(abbrevs) |
82 |
82 |
83 def loaded_theories: Set[String] = |
83 def loaded_theories: Set[String] = |
84 (resources.session_base.loaded_theories /: rev_deps) { |
84 (resources.session_base.loaded_theories /: rev_deps) { |
85 case (loaded, dep) => loaded + dep.name.theory |
85 case (loaded, dep) => |
|
86 loaded + dep.name.theory + |
|
87 Long_Name.base_name(dep.name.theory) // legacy |
86 } |
88 } |
87 |
89 |
88 def loaded_files: List[Path] = |
90 def loaded_files: List[Path] = |
89 { |
91 { |
90 def loaded(dep: Thy_Info.Dep): List[Path] = |
92 def loaded(dep: Thy_Info.Dep): List[Path] = |