src/Pure/build-jars
changeset 44698 0385292321a0
parent 43780 2cb2310d68b6
child 45027 f459e93a038e
     1.1 --- a/src/Pure/build-jars	Sun Sep 04 14:29:15 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Sun Sep 04 15:21:50 2011 +0200
     1.3 @@ -24,8 +24,6 @@
     1.4    General/scan.scala
     1.5    General/sha1.scala
     1.6    General/symbol.scala
     1.7 -  General/xml.scala
     1.8 -  General/yxml.scala
     1.9    Isar/keyword.scala
    1.10    Isar/outer_syntax.scala
    1.11    Isar/parse.scala
    1.12 @@ -36,6 +34,8 @@
    1.13    PIDE/isar_document.scala
    1.14    PIDE/markup_tree.scala
    1.15    PIDE/text.scala
    1.16 +  PIDE/xml.scala
    1.17 +  PIDE/yxml.scala
    1.18    System/cygwin.scala
    1.19    System/download.scala
    1.20    System/event_bus.scala