src/Pure/build-jars
changeset 55497 c0f8aebfb43d
parent 54730 de2d99b459b3
child 55511 984e210d412e
     1.1 --- a/src/Pure/build-jars	Fri Feb 14 20:58:48 2014 +0100
     1.2 +++ b/src/Pure/build-jars	Fri Feb 14 21:06:20 2014 +0100
     1.3 @@ -43,6 +43,7 @@
     1.4    Isar/outer_syntax.scala
     1.5    Isar/parse.scala
     1.6    Isar/token.scala
     1.7 +  ML/ml_lex.scala
     1.8    PIDE/command.scala
     1.9    PIDE/document.scala
    1.10    PIDE/document_id.scala