--- a/src/Pure/build-jars Sat Jul 09 12:56:51 2011 +0200
+++ b/src/Pure/build-jars Sat Jul 09 13:29:33 2011 +0200
@@ -30,6 +30,7 @@
Isar/outer_syntax.scala
Isar/parse.scala
Isar/token.scala
+ PIDE/blob.scala
PIDE/command.scala
PIDE/document.scala
PIDE/isar_document.scala