--- a/src/Pure/build-jars Mon Aug 11 22:59:38 2014 +0200
+++ b/src/Pure/build-jars Tue Aug 12 00:08:32 2014 +0200
@@ -54,6 +54,7 @@
Isar/token.scala
ML/ml_lex.scala
PIDE/command.scala
+ PIDE/command_span.scala
PIDE/document.scala
PIDE/document_id.scala
PIDE/editor.scala