Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified order;
authorwenzelm
Fri, 04 Mar 2022 21:47:57 +0100
changeset 75212 7870cdaa3f1f
parent 75211 64829c7ab0e7
child 75213 e3475e1d5094
clarified order;
src/Pure/System/platform.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/platform.scala	Fri Mar 04 11:44:05 2022 +0100
+++ b/src/Pure/System/platform.scala	Fri Mar 04 21:47:57 2022 +0100
@@ -29,7 +29,7 @@
   {
     val linux_arm, linux, macos, windows = Value
     val list0: List[Value] = List(linux, windows, macos)
-    val list: List[Value] = List(linux_arm, linux, windows, macos)
+    val list: List[Value] = List(linux, linux_arm, windows, macos)
 
     def unapply(name: String): Option[Value] =
       try { Some(withName(name)) }
isabelle