src/Pure/build-jars
changeset 69448 51e696887b81
parent 69426 91f46633bb4e
child 69458 5655af3ea5bd
     1.1 --- a/src/Pure/build-jars	Mon Dec 10 23:36:29 2018 +0100
     1.2 +++ b/src/Pure/build-jars	Tue Dec 11 19:25:35 2018 +0100
     1.3 @@ -89,6 +89,7 @@
     1.4    ML/ml_process.scala
     1.5    ML/ml_statistics.scala
     1.6    ML/ml_syntax.scala
     1.7 +  PIDE/byte_message.scala
     1.8    PIDE/command.scala
     1.9    PIDE/command_span.scala
    1.10    PIDE/document.scala