src/Pure/build-jars
changeset 61282 3e578ddef85d
parent 61276 8a4bd05c1735
child 61288 9399860edb46
     1.1 --- a/src/Pure/build-jars	Tue Sep 29 18:39:55 2015 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Sep 29 23:43:35 2015 +0200
     1.3 @@ -74,6 +74,7 @@
     1.4    PIDE/xml.scala
     1.5    PIDE/yxml.scala
     1.6    ROOT.scala
     1.7 +  System/cygwin.scala
     1.8    System/command_line.scala
     1.9    System/invoke_scala.scala
    1.10    System/isabelle_charset.scala