src/Pure/build-jars
changeset 65214 a2ec0db555c7
parent 65191 4c9c83311cad
child 65313 347ed6219dab
     1.1 --- a/src/Pure/build-jars	Mon Mar 13 20:33:42 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Mar 13 21:37:35 2017 +0100
     1.3 @@ -94,6 +94,7 @@
     1.4    PIDE/markup.scala
     1.5    PIDE/markup_tree.scala
     1.6    PIDE/protocol.scala
     1.7 +  PIDE/protocol_handlers.scala
     1.8    PIDE/protocol_message.scala
     1.9    PIDE/prover.scala
    1.10    PIDE/query_operation.scala