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/System/platform.scala
changeset 73642 ac6f8fff036b
parent 73639 e1432539df35
child 73671 7404f2e1d092 
--- a/src/Pure/System/platform.scala	Fri May 07 13:16:50 2021 +0200
+++ b/src/Pure/System/platform.scala	Fri May 07 13:17:29 2021 +0200
@@ -28,6 +28,7 @@
   object Family extends Enumeration
   {
     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)
 
     def unapply(name: String): Option[Value] =
isabelle