--- a/src/Pure/build-jars Fri Feb 14 20:58:48 2014 +0100
+++ b/src/Pure/build-jars Fri Feb 14 21:06:20 2014 +0100
@@ -43,6 +43,7 @@
Isar/outer_syntax.scala
Isar/parse.scala
Isar/token.scala
+ ML/ml_lex.scala
PIDE/command.scala
PIDE/document.scala
PIDE/document_id.scala