--- a/src/Pure/build-jars Tue Aug 10 22:26:23 2010 +0200
+++ b/src/Pure/build-jars Tue Aug 10 23:03:48 2010 +0200
@@ -31,6 +31,7 @@
General/scan.scala
General/symbol.scala
General/xml.scala
+ General/xml_data.scala
General/yxml.scala
Isar/isar_document.scala
Isar/keyword.scala