--- a/src/Pure/build-jars Thu May 06 15:04:37 2010 +0200
+++ b/src/Pure/build-jars Thu May 06 16:27:47 2010 +0200
@@ -27,6 +27,7 @@
General/linear_set.scala
General/markup.scala
General/position.scala
+ General/pretty.scala
General/scan.scala
General/symbol.scala
General/xml.scala