src/Pure/build-jars
changeset 65313 347ed6219dab
parent 65214 a2ec0db555c7
child 65477 64e61b0f6972
     1.1 --- a/src/Pure/build-jars	Sat Mar 18 20:35:58 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Sat Mar 18 20:51:42 2017 +0100
     1.3 @@ -84,7 +84,6 @@
     1.4    Isar/token.scala
     1.5    ML/ml_lex.scala
     1.6    ML/ml_syntax.scala
     1.7 -  PIDE/batch_session.scala
     1.8    PIDE/command.scala
     1.9    PIDE/command_span.scala
    1.10    PIDE/document.scala