--- a/src/Pure/build-jars Mon Sep 21 17:01:33 2015 +0200
+++ b/src/Pure/build-jars Mon Sep 21 17:42:31 2015 +0200
@@ -105,6 +105,7 @@
Tools/update_cartouches.scala
Tools/update_header.scala
Tools/update_semicolons.scala
+ Tools/update_then.scala
library.scala
term.scala
term_xml.scala