diff -r 5d2835453ad3 -r c0f8aebfb43d src/Pure/build-jars
--- 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