--- a/src/Pure/PIDE/resources.scala Mon Jan 02 11:57:57 2023 +0100
+++ b/src/Pure/PIDE/resources.scala Mon Jan 02 12:29:08 2023 +0100
@@ -75,11 +75,8 @@
def append_path(dir: String, source_path: Path): String =
(Path.explode(dir) + source_path).expand.implode
- def file_node(file: Path, dir: String = "", theory: String = ""): Document.Node.Name = {
- val node = append_path(dir, file)
- val master_dir = append_path(dir, file.dir)
- Document.Node.Name(node, master_dir = master_dir, theory = theory)
- }
+ def file_node(file: Path, dir: String = "", theory: String = ""): Document.Node.Name =
+ Document.Node.Name(append_path(dir, file), theory = theory)
/* source files of Isabelle/ML bootstrap */
@@ -138,7 +135,7 @@
for {
(name, theory) <- Thy_Header.ml_roots
path = (pure_dir + Path.explode(name)).expand
- node_name = Document.Node.Name(path.implode, master_dir = path.dir.implode, theory = theory)
+ node_name = Document.Node.Name(path.implode, theory = theory)
file <- loaded_files(syntax, node_name, load_commands(syntax, node_name)())
} yield file
}