--- a/src/Pure/build-jars Tue Jul 16 12:25:59 2013 +0200
+++ b/src/Pure/build-jars Tue Jul 16 12:31:08 2013 +0200
@@ -27,6 +27,7 @@
General/symbol.scala
General/time.scala
General/timing.scala
+ General/xz_file.scala
Isar/keyword.scala
Isar/outer_syntax.scala
Isar/parse.scala