src/Pure/build-jars
changeset 62902 3c0f53eae166
parent 62866 d20262cd20e8
child 63288 e0513d6e4916
     1.1 --- a/src/Pure/build-jars	Thu Apr 07 15:32:47 2016 +0200
     1.2 +++ b/src/Pure/build-jars	Thu Apr 07 16:53:43 2016 +0200
     1.3 @@ -54,7 +54,6 @@
     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