changeset 44597 | 518e44a0ee15 |
parent 44569 | 5130dfe1b7be |
child 44612 | 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