--- a/src/Pure/build-jars Tue Oct 07 11:44:25 2014 +0200
+++ b/src/Pure/build-jars Tue Oct 07 14:53:51 2014 +0200
@@ -97,6 +97,7 @@
Tools/print_operation.scala
Tools/simplifier_trace.scala
Tools/task_statistics.scala
+ Tools/update_cartouches.scala
library.scala
term.scala
term_xml.scala