--- a/src/Pure/build-jars Wed Jan 02 15:08:38 2013 +0100
+++ b/src/Pure/build-jars Wed Jan 02 16:48:22 2013 +0100
@@ -30,6 +30,7 @@
Isar/outer_syntax.scala
Isar/parse.scala
Isar/token.scala
+ ML/ml_statistics.scala
PIDE/command.scala
PIDE/document.scala
PIDE/markup.scala