changeset 72338 | 54871a086193 |
parent 72250 | 13976f92a2d0 |
child 72346 | 93e533198bf6 |
--- a/src/Pure/build-jars Tue Sep 29 15:38:21 2020 +0200 +++ b/src/Pure/build-jars Tue Sep 29 19:49:25 2020 +0200 @@ -123,6 +123,7 @@ src/Pure/System/getopts.scala src/Pure/System/isabelle_charset.scala src/Pure/System/isabelle_fonts.scala + src/Pure/System/isabelle_platform.scala src/Pure/System/isabelle_process.scala src/Pure/System/isabelle_system.scala src/Pure/System/isabelle_tool.scala