--- a/src/Pure/build-jars Mon Jun 24 17:17:17 2013 +0200
+++ b/src/Pure/build-jars Mon Jun 24 23:33:14 2013 +0200
@@ -68,6 +68,7 @@
Thy/thy_syntax.scala
Tools/build.scala
Tools/build_dialog.scala
+ Tools/keywords.scala
Tools/main.scala
Tools/ml_statistics.scala
Tools/task_statistics.scala