changeset 72421 | 9a8bc089890d |
parent 72414 | af24c0dd6975 |
child 72439 | 7f6800b2e8c2 |
--- a/src/Pure/build-jars Sat Oct 10 17:26:23 2020 +0200 +++ b/src/Pure/build-jars Sat Oct 10 20:31:54 2020 +0200 @@ -133,6 +133,7 @@ src/Pure/System/isabelle_tool.scala src/Pure/System/java_statistics.scala src/Pure/System/linux.scala + src/Pure/System/mingw.scala src/Pure/System/numa.scala src/Pure/System/options.scala src/Pure/System/platform.scala