--- a/src/Pure/build-jars Wed May 07 18:09:08 2014 +0200
+++ b/src/Pure/build-jars Thu May 08 00:12:22 2014 +0200
@@ -37,6 +37,7 @@
General/time.scala
General/timing.scala
General/url.scala
+ General/untyped.scala
General/word.scala
General/xz_file.scala
GUI/color_value.scala