changeset 72448 | faad63aca1e7 |
parent 72439 | 7f6800b2e8c2 |
child 72466 | 04403e1ef176 |
--- a/src/Pure/build-jars Sun Oct 11 18:46:44 2020 +0100 +++ b/src/Pure/build-jars Sun Oct 11 22:26:55 2020 +0200 @@ -125,6 +125,7 @@ src/Pure/System/command_line.scala src/Pure/System/cygwin.scala src/Pure/System/distribution.scala + src/Pure/System/executable.scala src/Pure/System/getopts.scala src/Pure/System/isabelle_charset.scala src/Pure/System/isabelle_fonts.scala