src/Pure/build-jars
changeset 62866 d20262cd20e8
parent 62845 31177a9c3025
child 62902 3c0f53eae166
     1.1 --- a/src/Pure/build-jars	Tue Apr 05 14:59:00 2016 +0200
     1.2 +++ b/src/Pure/build-jars	Tue Apr 05 15:27:11 2016 +0200
     1.3 @@ -54,6 +54,7 @@
     1.4    Isar/parse.scala
     1.5    Isar/token.scala
     1.6    ML/ml_lex.scala
     1.7 +  ML/ml_root.scala
     1.8    ML/ml_syntax.scala
     1.9    PIDE/batch_session.scala
    1.10    PIDE/command.scala