changeset 62845 | 31177a9c3025 |
parent 62829 | 4141c2a8458b |
child 62866 | d20262cd20e8 |
--- a/src/Pure/build-jars Mon Apr 04 14:53:30 2016 +0200 +++ b/src/Pure/build-jars Mon Apr 04 15:35:24 2016 +0200 @@ -76,6 +76,7 @@ System/bash.scala System/command_line.scala System/cygwin.scala + System/distribution.scala System/getopts.scala System/invoke_scala.scala System/isabelle_charset.scala