1.1 --- a/src/Pure/build-jars	Mon Jun 24 17:17:17 2013 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Jun 24 23:33:14 2013 +0200
     1.3 @@ -68,6 +68,7 @@
     1.4    Thy/thy_syntax.scala
     1.5    Tools/build.scala
     1.6    Tools/build_dialog.scala
     1.7 +  Tools/keywords.scala
     1.8    Tools/main.scala
     1.9    Tools/ml_statistics.scala
    1.10    Tools/task_statistics.scala