1.1 --- a/src/Pure/build-jars	Fri Jan 18 22:31:57 2013 +0100
     1.2 +++ b/src/Pure/build-jars	Fri Jan 18 22:38:34 2013 +0100
     1.3 @@ -30,7 +30,6 @@
     1.4    Isar/outer_syntax.scala
     1.5    Isar/parse.scala
     1.6    Isar/token.scala
     1.7 -  ML/ml_statistics.scala
     1.8    PIDE/command.scala
     1.9    PIDE/document.scala
    1.10    PIDE/markup.scala
    1.11 @@ -65,6 +64,7 @@
    1.12    Tools/build.scala
    1.13    Tools/build_dialog.scala
    1.14    Tools/main.scala
    1.15 +  Tools/ml_statistics.scala
    1.16    Tools/task_statistics.scala
    1.17    library.scala
    1.18    package.scala