src/Pure/build-jars
changeset 59713 6da3efec20ca
parent 59459 985fc55e9f27
child 59891 9ce697050455
     1.1 --- a/src/Pure/build-jars	Sun Mar 15 23:46:00 2015 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Mar 16 11:07:56 2015 +0100
     1.3 @@ -64,6 +64,7 @@
     1.4    PIDE/markup.scala
     1.5    PIDE/markup_tree.scala
     1.6    PIDE/protocol.scala
     1.7 +  PIDE/protocol_message.scala
     1.8    PIDE/prover.scala
     1.9    PIDE/query_operation.scala
    1.10    PIDE/resources.scala