src/Pure/build-jars
changeset 38267 e50c283dd125
parent 38227 6bbb42843b6e
child 38361 b609d0b271fa
     1.1 --- a/src/Pure/build-jars	Tue Aug 10 22:26:23 2010 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Aug 10 23:03:48 2010 +0200
     1.3 @@ -31,6 +31,7 @@
     1.4    General/scan.scala
     1.5    General/symbol.scala
     1.6    General/xml.scala
     1.7 +  General/xml_data.scala
     1.8    General/yxml.scala
     1.9    Isar/isar_document.scala
    1.10    Isar/keyword.scala