src/Pure/build-jars

   Thy/thy_info.scala
   Thy/thy_load.scala
   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
   library.scala
   package.scala