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_polyml.scala
changeset 82610 3133f9748ea8
parent 82499 d46bc8a03141
child 82612 2757f73abda7 
--- a/src/Pure/Admin/component_polyml.scala	Mon May 05 17:04:14 2025 +0100
+++ b/src/Pure/Admin/component_polyml.scala	Tue May 06 16:52:39 2025 +0200
@@ -18,7 +18,7 @@
     libs: Set[String] = Set.empty)
 
   sealed case class Platform_Context(
-    platform: Isabelle_Platform = Isabelle_Platform.self,
+    platform: Isabelle_Platform = Isabelle_Platform.local,
     mingw: MinGW = MinGW.none,
     progress: Progress = new Progress
   ) {
isabelle