--- a/src/Pure/build-jars Fri Jul 05 14:09:06 2013 +0200
+++ b/src/Pure/build-jars Fri Jul 05 15:38:03 2013 +0200
@@ -33,6 +33,7 @@
Isar/token.scala
PIDE/command.scala
PIDE/document.scala
+ PIDE/document_id.scala
PIDE/markup.scala
PIDE/markup_tree.scala
PIDE/protocol.scala