src/Pure/build-jars
changeset 43715 518e44a0ee15
parent 43695 5130dfe1b7be
child 43730 a0ed7bc688b5
     1.1 --- a/src/Pure/build-jars	Sat Jul 09 12:56:51 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Sat Jul 09 13:29:33 2011 +0200
     1.3 @@ -30,6 +30,7 @@
     1.4    Isar/outer_syntax.scala
     1.5    Isar/parse.scala
     1.6    Isar/token.scala
     1.7 +  PIDE/blob.scala
     1.8    PIDE/command.scala
     1.9    PIDE/document.scala
    1.10    PIDE/isar_document.scala