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/Admin/component_e.scala
changeset 82610 3133f9748ea8
parent 82450 a4a8d98a173b 
--- a/src/Pure/Admin/component_e.scala	Mon May 05 17:04:14 2025 +0100
+++ b/src/Pure/Admin/component_e.scala	Tue May 06 16:52:39 2025 +0200
@@ -26,7 +26,7 @@
       val component_dir =
         Components.Directory(target_dir + Path.basic(component_name)).create(progress = progress)
 
-      val platform_name = Isabelle_Platform.self.ISABELLE_PLATFORM(apple = true)
+      val platform_name = Isabelle_Platform.local.ISABELLE_PLATFORM(apple = true)
       val platform_dir =
         Isabelle_System.make_directory(component_dir.path + Path.basic(platform_name))
isabelle