Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/document.scala
changeset 76891 5786d6394659
parent 76860 f95ed5a0600c
child 76903 f9de9c4b2156 
--- a/src/Pure/PIDE/document.scala	Tue Jan 03 21:18:15 2023 +0100
+++ b/src/Pure/PIDE/document.scala	Tue Jan 03 21:22:04 2023 +0100
@@ -120,7 +120,6 @@
       def path: Path = Path.explode(File.standard_path(node))
 
       def master_dir: String = Url.strip_base_name(node).getOrElse("")
-      def master_dir_path: Path = Path.explode(File.standard_path(master_dir))
 
       def is_theory: Boolean = theory.nonEmpty
isabelle