--- a/src/Pure/build-jars	Tue Jul 12 17:53:06 2011 +0200
+++ b/src/Pure/build-jars	Tue Jul 12 18:00:05 2011 +0200
@@ -57,6 +57,7 @@
   library.scala
   package.scala
   term.scala
+  term_xml.scala
 )
changeset 43779	47bec02c6762
parent 43776	6dd13e111d30
child 43780	2cb2310d68b6